[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 |
Hello,
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!
- [bug#30563] [PATCH] add Agda.,
Alex ter Weele <=
- [bug#30563] Status: [PATCH] add Agda., Alex ter Weele, 2018/02/20
- [bug#30563] Status: [PATCH] add Agda., Alex ter Weele, 2018/02/20
- [bug#30563] Status: [PATCH] add Agda., Alex ter Weele, 2018/02/20
- [bug#30563] Status: [PATCH] add Agda., Alex ter Weele, 2018/02/20
- bug#30563: [PATCH] add Agda., Marius Bakke, 2018/02/25