misc-stuff. Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.

github.com/AndrasKovacs/misc-stuff
by @AndrasKovacs

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.