3 ms·
I must admit I was very surprised so see what started as a static-types rant ending up extolling the merits of Idris.
by pyrale 5y ago
I must admit I was very surprised so see what started as a static-types rant ending up extolling the merits of Idris.