My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.
haskell
logic
type-theory
programming-languages
programming-language-theory
proof-theory
type-systems
formal-reasoning
-
Updated
Jun 12, 2024