cats
cats copied to clipboard
JLimperg
Category Theory in Agda. Learning exercise, not for public consumption.
Results
0
cats issues
Sort by
recently updated
recently updated
newest added