🐬
Only quasicoherent
Only quasiseperated, not quite quasicompact
//
Have functor, will travel
- Oakland, CA
- https://slazaro.net
- @Slazasaurus
Stars
2
stars
written in Idris
Clear filter
Programming language agnostic type construction language based on polynomials.
Utilities and documentation for exploring idirs2's new elaborator reflection.