category-theory-resources

category-theory-resources copied to clipboard

CT in Idris

1

This might be of interest to functional programmers: https://github.com/statebox/idris-ct

srid

For example: “All Concepts are Kan Extensions”: Kan Extensions as the Most Universal of the Universal Constructions — https://www.math.harvard.edu/media/lehner.pdf

prathyvsh

prathyvsh

revollat