|
|
|
|
|
|
by joshsh
24 days ago
|
|
|
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 programming language Hydra: https://github.com/CategoricalData/hydra. |
|
|