Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
8
Program languages
4
Licenses
2
1-2 of 2
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
1
Logo for Generics library for datatype-generic programming in Agda

Generics library for datatype-generic programming in Agda

Generics library for datatype-generic programming in Agda

  • Agda
  • Dependent Types
  • Generic Programming
  • + 2
    2
    1