so too tired to write, decided to update to latest caballed idris. Surprisingly few problems so far. Just former working code breaking.
-
-
@edwinbrady yeah, its the new namespace rules! Which was to be expected. -
@edwinbrady i meant new implicit and naming rules; see to tired to write…
End of conversation
New conversation -
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.