Bookmarks tagged [agda] www.codever.land/bookmarks/t/agda Agda Tutorial http://people.inf.elte.hu/divip/AgdaTutorial/Index.html tags: free-programming-books, agda