I think this is a fair challenge. I verified left-pad in Agda; it isn't very pretty: https://gist.github.com/rntz/aaaaf7a0bdb1cc65c49adb6adde29728 … Admittedly, I don't think Agda is aimed at this kind of problem. Anyone who's up to date on verification for FP languages want to take a shot at it?https://twitter.com/Hillelogram/status/987432178840756225 …
-
-
Thanks! I think we all have much to steal from each other :-)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
We can even look to integrate with constraint solvers and see how they can helps us.
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.