top | item 6194408 Agda by Example: λ-calculus 71 points| ColinWright | 12 years ago |mazzo.li | reply 7 comments order hn newest [+] [-] arethuza|12 years ago|reply Here is the introduction to Agda recommended by the author - I've read a few pages and it seems pretty interesting (NB I'm not an expert on the current state of functional programming languages):http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf [+] [-] mafribe|12 years ago|reply Here is another one by Thorsten Altenkirch:http://www.cs.nott.ac.uk/~txa/g53cfr/ load replies (3) [+] [-] unknown|12 years ago|reply [deleted]
[+] [-] arethuza|12 years ago|reply Here is the introduction to Agda recommended by the author - I've read a few pages and it seems pretty interesting (NB I'm not an expert on the current state of functional programming languages):http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf [+] [-] mafribe|12 years ago|reply Here is another one by Thorsten Altenkirch:http://www.cs.nott.ac.uk/~txa/g53cfr/ load replies (3)
[+] [-] mafribe|12 years ago|reply Here is another one by Thorsten Altenkirch:http://www.cs.nott.ac.uk/~txa/g53cfr/ load replies (3)
[+] [-] arethuza|12 years ago|reply
http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf
[+] [-] mafribe|12 years ago|reply
http://www.cs.nott.ac.uk/~txa/g53cfr/
[+] [-] unknown|12 years ago|reply
[deleted]