Package eliminators
Top Similar Packages
Packages that have similar categories to this package
- singletons 105
- reflection 66
- dependent-sum 24
- dependent-map 11
- idris 4
- type-fun 4
- open-typerep 2
- parameterized-utils 2
- singleton-nats 2
- agda-snippets 1
- Agda-executable 0
- MiniAgda 0
- PandocAgda 0
- Sit 0
- agda-server 0
- agda-snippets-hakyll 0
- compare-type 0
- cubical 0
- eliminators 0
- helf 0