guix-patches
[Top][All Lists]
Advanced
[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 (cedille.github.io) so I packaged it.  It has a nice emacs mode included and an interesting type theory.

Thanks!

- 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]