An open API service indexing awesome lists of open source software.

https://github.com/llllvvuu/agda-practice

Solutions to (and some riffing on) exercises
https://github.com/llllvvuu/agda-practice

Last synced: 3 months ago
JSON representation

Solutions to (and some riffing on) exercises

Awesome Lists containing this project