profile
viewpoint

Lapin0t/induction-recursion

formalization of ornaments on indexed inductive-recursive definitions

https://github.com/Lapin0t/induction-recursion

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