issues
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
Checkpoint Idris-2 development
#67
Closed
rokopt
closed
1 year ago
rokopt
commented
1 year ago
More work on candidate subobject classifiers
Various slice-categorical structures
More work on category-spec API