cedille

programming-language

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

How to download and setup cedille

Open terminal and run command

git clone https://github.com/cedille/cedille.git

git clone is used to create a copy or clone of cedille repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with cedille https://github.com/cedille/cedille/archive/master.zip

Or simply clone cedille with SSH

[email protected]:cedille/cedille.git

If you have some problems with cedille

You may open issue on cedille support forum (system) here: https://github.com/cedille/cedille/issues

Similar to cedille repositories

Here you may see cedille alternatives and analogs

ruby golang-examples go awesome-cheatsheets CreepyCodeCollection ACM-ICPC-Preparation cs-video-courses julia kotlin influential-cs-books lowlevelprogramming-university elvish Eve sarl red awesome-compilers haxe Free-Courses solidity gravity sdk dmd coconut ElixirBooks reason awesome-static-analysis ponyc locutus alda Learn-iOS-Swift-by-Examples