3 ms·
So where is the famous Idris elaborator? Where are the universes? Where’s inductive types? Where are they?
by be5invis 9y ago
So where is the famous Idris elaborator?
Where are the universes?
Where’s inductive types?
Where are they?
loading thread…