Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
6
Program languages
7
Licenses
1
1-1 of 1
Logo for Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints

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