Viewing profile — joshsh

If this sort of thing is interesting to you -- using type theory and category theory to add compositionality to programming and databases -- also check out CQL's cousin, the graph …

In reply to a question on Facebook ("Do you have some examples or use case docs? I'm trying to wrap my head around what I could do with something like this."): There is a subprojec…

It would be interesting to visualize a SmSn knowledge graph as a Concept Map. I feel that text buffers are best for viewing and editing a graph when you are seated at a keyboard, b…