I hope none of my Software Engineering class are reading this :)
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Been following this repo for a while now. Very inspiring! And yes, tests would be most useful for those of us spectating

-
I do have a fair few tests I’m running locally, but automating is always a good idea… just got a long way with types this time :)
- 3 more replies
New conversation -
-
-
by tests you mean types, right? Oh wait... ! ;-)
-
Types have gone a long way here, and will continue to do so :). But the lack of any automated end to end tests was really starting to hurt.
- 3 more replies
New conversation -
-
-
Like, Idris' core language, or some other one?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Also, could you comment on how setting up tests in Idris have been different for you from tests in Haskell, if at all?
-
Nevermind, read your other reply. Sounds awesome
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.