0xd34df00d
Follow
terms types terms terms types types kinds
Highlights
- Pro
Stars
Gruvbox theme for kitty terminal with light and dark versions and soft, medium and hard variants.
♊ higher-order, no-boilerplate monads
Resources for type theory, functional programming, etc.
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar