Agda Implementors' Meeting Xliii | Hacker News - But Better

Agda Implementors' Meeting Xliii wiki.portal.chalmers.se

3 points•m_j_g•about 17 hours ago•0 comments•

#meeting #xliii #implementors #agda #implementors meeting #meeting xliii #agda implementors #agda implementors meeting

0 comments

No comments yet.

Read the full thread on Hacker News →

Related stories

Notes from Python Packaging Council's first meetingdiscuss.python.org
Hacker News · 1 points · 5 days ago
Woman Arrested, Dragged Away After Speaking About Flock at City Council Meeting404media.co
Hacker News · 97 points · 7 days ago
Show HN: I built a new version of my fun spatial 3D online meeting appflat.social
Hacker News · 97 points · 13 days ago
Trip report: Autumn ISO C++ standards meeting (Kona, HI, USA)herbsutter.com
Lobsters · 9 points · almost 3 years ago
Japan holds first panel meeting on anti-espionage measuresmainichi.jp
Hacker News · 3 points · 2 days ago
Show HN: Parrot – Open-Source Smart Meeting Recorder with Co-Pilot on Macopenparrot.app
Hacker News · 26 points · about 9 hours ago