mangoiv, 29 days ago (edited 26 days ago) Who’s coming to ZuriHac?! I’m so excited! #haskell
Who’s coming to ZuriHac?! I’m so excited!
#haskell
jesper, 29 days ago @mangoiv Where is the "I'm giving an Agda tutorial at ZuriHac" option?
@mangoiv Where is the "I'm giving an Agda tutorial at ZuriHac" option?
mangoiv, 29 days ago @jesper I was guessing this option would be rather unpopular but here we go! (Looking forward to your talk ;))
@jesper I was guessing this option would be rather unpopular but here we go! (Looking forward to your talk ;))
Add comment