pigworker / AgdaIntro

being a place to keep moderately instructive literate Agda files

Geek Repo

Github PK Tool