Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
brew
stack
configuration for building from source with stack
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.