search

anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Experiments with category-specifying API #39

Closed rokopt closed 1 year ago

rokopt commented 1 year ago

Much of this will eventually be superseded, but these experiments should help me find my way towards the category-specifying API that I want.