All software
1 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-1 of 1
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
- (Haskell)
- (JSON)
- ("Jupyter Notebook")
- + 4
2
0