andrejbauer / clericalLinks
Command-like expressions for real infinite-precision calculations
β53Updated 3 weeks ago
Alternatives and similar repositories for clerical
Users that are interested in clerical are comparing it to the libraries listed below
Sorting:
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ37Updated 3 weeks ago
- A Unifying Cartesian Cubical Set Modelβ34Updated 5 years ago
- β36Updated 3 years ago
- Work in progress on semi-simplicial typesβ23Updated 2 years ago
- A verified compiler for a lazy functional language