mangoiv, 13 days ago (edited 10 days ago) Who’s coming to ZuriHac?! I’m so excited! #haskell
Who’s coming to ZuriHac?! I’m so excited!
#haskell
jesper, 13 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, 13 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