@edwinbrady weird question due to me learning Coq: does Idris unify the Proofs and Computational types in the same hierarchy?
@Lenary What sort of test are you after? I just knocked up https://gist.github.com/edwinb/8551794
-
-
@edwinbrady right, a) I wasn't clear. b) I should think more before asking questions. it's hard to be clear in 140chars.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady I'll leave it for tonight, as I need to learn more first anyway.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.