Repository navigation

v0.1

berewt released this 30 Sep 15:16

· 14 commits to main since this release

d7001cd

Full dhall language for Replica v0.4.1:

Basic language syntax;
Idris specific sublanguage.

Assets 2