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