Passionate about λ calculus, Haskell, lisp, and pure functional programming. Will write Agda, sometimes. Rust and C for fun.

ID: 1266254592909512706

linkhttps://cstml.github.io/ calendar_today29-05-2020 06:26:43