2 ms·
Completely agree, I guess I meant if you're writing an application you're going to be a lot less productive using Idris.
by mkw5053 6mo ago
Completely agree, I guess I meant if you're writing an application you're going to be a lot less productive using Idris.