Cedille Programming Language (cedille)

Cedille Programming Language

cedille

Geek Repo

Home Page:https://groups.google.com/forum/#!forum/cedille-lang

Github PK Tool:Github PK Tool

Cedille Programming Language's repositories

cedille

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

Language:AgdaLicense:MITStargazers:353Issues:24Issues:119

ial

The Iowa Agda Library

Language:AgdaLicense:MITStargazers:41Issues:3Issues:5

cedille-developments

A showcase of interesting code and proof developments in Cedille

Language:HaskellStargazers:36Issues:7Issues:0

cedille-cast

Source files used for the Cedille Cast videos

icfp18-tutorial

Materials related to the tutorial on Cedille at ICFP '18

Language:TeXStargazers:5Issues:0Issues:0

cedille.github.io

Cedille Homepage

Language:ShellStargazers:2Issues:4Issues:0
Language:RustLicense:MITStargazers:2Issues:0Issues:0

cedille-core-spec

Specification of the Cedille Core language

Language:TeXStargazers:1Issues:4Issues:0
Language:AgdaStargazers:0Issues:4Issues:0
Stargazers:0Issues:2Issues:0