pigworker/Samizdat

being bits and pieces I'm inclined to leave lying around

Agda

60

106 commits

updated Mar 11, 2026

See the code

Contributors

pigworker

106 commits

pigworker/Samizdat

being bits and pieces I'm inclined to leave lying around

Agda

60

106 commits

updated Mar 11, 2026

See the code

Contributors

pigworker

106 commits

Languages

Agda

60.9%

Haskell

29.6%

TeX

8.1%

Rocq Prover

1.4%