Skip to content

v1.0.0
Compare
Choose a tag to compare
@astump astump released this 14 Sep 19:12
· 717 commits to master since this release
v1.0.0
6734731

This is the version 1.0.0 releases of Cedille. The attached Debian package will get Cedille installed without the need to install a lot of other software (Haskell, Agda, the Iowa Agda Library, etc.). If you do want to build from sources, clone the repo and consult the INSTALL.txt file.

The Debian package does not come with any sample .ced files. You can see some if you clone the repo and look at language-overview/ or lib/.

There is a MacOS dmg file available now as well.

Assets 4