Ported @edwinbrady's Idris merge sort to Agda. Agda code runs 4x faster and doesn't segfault on long lists.https://gist.github.com/UlfNorell/4325f091c4f4fbcbad2581577a4f2903 …
@cyocum also I reckon targeting the OCaml VM would be pretty effective… if only I knew anything about it.
-
-
@edwinbrady hummm. Yeah I have never needed to care so I am not much help. But there is a paper in there I think. -
@edwinbrady also it is sexp based so it might be easier than we think. - 4 more replies
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.