Hacker News new | ask | show | jobs
by be5invis 3349 days ago
So where is the famous Idris elaborator? Where are the universes? Where’s inductive types? Where are they?