Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
5
Program languages
4
Licenses
1
1-1 of 1
Logo for agda-core

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
0