Loading...
Explorations into the realms of Haskell, Idris, Lean, Coq, Agda, Plutus, mCRL2 and wherever else fate leads me next.
Coding for 11 years.
95 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.