Well this was an entertaining exercise. merge sort in Idris, totality checked without cheatinghttps://gist.github.com/edwinb/46da18e2fc6be3f92177ea02ea4b3a1a#file-mergesort-idr-L100 …
-
-
@edwinbrady Cool nice!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.