4 ms·
>> where all you wrote was function signatures and high-level control flow, and maybe some conformance tests around them AIUI that’s where idris is headed
by CraigJPerry 2y ago
>> where all you wrote was function signatures and high-level control flow, and maybe some conformance tests around them
AIUI that’s where idris is headed