All software
1 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-1 of 1
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
- (Haskell)
- (Markdown)
- (Other)
- + 1
2
2