profile
viewpoint

Lapin0t/agda-patch

https://arxiv.org/pdf/1311.3903.pdf

https://github.com/Lapin0t/agda-patch

Lapin0t

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

Lapin0t