4 ms·
Idris has namespacing instead of modules, which is great and allows for things like locally scoped data declarations
by efnx 10y ago
Idris has namespacing instead of modules, which is great and allows for things like locally scoped data declarations