Agda och lite Kategoritreori

[edwtjo]

Lite synd att detta första mail blir mest en länksamling.. Men jag
råkade stöta på Agda[1]. Vet inte om någon av er känner till det sen
tidigare men det ser riktigt spännande ut.

I övrigt har jag även stött på denna youtubekanal "The Catsters"[2]
som innehåller föreläsningar kring kategoriteori/typteori.

[1] http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Documentation
[2] http://www.youtube.com/user/TheCatsters


Mycket nöje :)