A textbook on informal homotopy type theory

papers of Per Martin Löf

A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

Let's translate works of Grothendieck

A talk on parametricity

An old tutorial for using `Effects` in Idris.

A TikZ library of wiring diagrams

A unified, computationally feasible framework for consciousness.

Project Repository: CRII: SHF: A New Foundation for Attack Trees Based on Monoidal Categories

Richard Eisenberg's BiBTeX file

Summary on the history and evolution of the free monad

Annual summary of the papers I read

Defunct LaTeX template: see readme for link to new one