[Top][All Lists]

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

[bug#30563] [PATCH] add Agda.

From: Alex ter Weele
Subject: [bug#30563] [PATCH] add Agda.
Date: Tue, 20 Feb 2018 19:23:06 -0600


The following patch series fixes a few ghc- packages, adds another, and
finally adds Agda. Following the example of Idris, I've placed it in its
own file.

I have not yet packaged the Emacs mode for Agda. That's next!

reply via email to

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