@dysinger any neat examples of errors Idris found in that code that would have gone unnoticed without DT?
-
-
Replying to @a_cowley
@a_cowley@dysinger e.g.@edwinbrady's comment here was interesting to me: e.g. https://github.com/edwinb/idris-demos/blob/master/Hangman/hangman.idr#L182-190 …1 reply 0 retweets 0 likes
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.