[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#37038] [PATCH] Add Cedille.

From: John Soo
Subject: [bug#37038] [PATCH] Add Cedille.
Date: Thu, 15 Aug 2019 16:07:49 +0000

HI all,

I wanted to try out the Cedille language ( so I packaged it.  It has a nice emacs mode included and an interesting type theory.


- John

Attachment: 0001-gnu-Add-agda-ial.patch
Description: Text Data

Attachment: 0002-gnu-Add-cedille.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]