j
k
j a
j l
On Fri, Oct 18, 2013 at 3:03 PM, Andreas Abel <andreas.abel@ifi.lmu.de>wrote:
P.S.: The Agda source has tons of .hs-boot files, I hate them, but what can you do?
Implement support for mutually recursive modules? ;)
Attachments:
Back to the thread
Back to the list
