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 :).
@raichoo Oh, I’ve not seen that, I’ll take a look. I’d like someone other than me to do the hard work this time though!
-
This Tweet is unavailable.
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.