|
| From: | Ricardo Wurmus |
| Subject: | bug#27987: Dependencies for Agda - a dependently typed functional language |
| Date: | Wed, 16 Aug 2017 17:08:33 +0200 |
| User-agent: | mu4e 0.9.18; emacs 25.2.1 |
Hi Alex, > Here is the remaining dependencies for Agda. Actually I have already > managed to get Agda to build, but I still need to figure out how to > build the standard library. Thank you. I’ve pushed the patches to master af4db693d after slight changes to the descriptions. -- Ricardo GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC https://elephly.net
| [Prev in Thread] | Current Thread | [Next in Thread] |