Hacker News new | ask | show | jobs
Introduction to AGDA [video] (youtube.com)
1 points by StylifyYourBlog 4091 days ago