Ctrl K
All software
1Filter
Mentions
Keywords
12
Program languages
7
Licenses
3
12
1-3 of 3
agda-core
Code underlying the publication: Building a Correct-By-Construction Type Checker for a Dependently Typed Core Language
- core language
- Dependent Types
- type-checking
- + 2
- Other
- Haskell
- YAML
- + 1
2
1
Generics library for datatype-generic programming in Agda
Generics library for datatype-generic programming in Agda
- Agda
- Dependent Types
- Generic Programming
- + 2
2
1
Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints
Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints
- Dependent Types
- elaboration
- elaborators
- + 3
- TeX
- Haskell
- Other
- + 4
2
0