I keep getting told we’re doing modules wrong in Idris. This can’t be true because we don’t do modules at all yet. Proposals welcome :).
@khstandrews That’s what we do have, but it’s kind of ad-hoc thrown together rather than properly thought out.
-
-
@edwinbrady More accreted and grown conservatively. You could do better with naming, I think, and parametric modules would be nice.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady In#idris, you could also have dynamically constructed modules (with higher-level types).Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.