[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#27987] Dependencies for Agda - a dependently typed functional langu
|
From: |
Ricardo Wurmus |
|
Subject: |
[bug#27987] Dependencies for Agda - a dependently typed functional language |
|
Date: |
Wed, 16 Aug 2017 16:54:56 +0200 |
|
User-agent: |
mu4e 0.9.18; emacs 25.2.1 |
Hi Alex,
> I wish to introduce Agda to Guix. The patches below are some dependecies
> for Agda. There are more to come...
Thank you. I have changed the descriptions, ran “guix lint” and pushed
the patches from this email with commit 96f23b62e to master.
--
Ricardo
GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC
https://elephly.net