Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
8
Program languages
4
Licenses
2
1-2 of 2
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
    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