@edwinbrady Hi I heard you interviewed on @fngeekery. You said you'd like a compiler could tell you if your code doesn't/may not terminate
Nice, thanks. Idris uses size change termination (http://www2.mta.ac.il/~amirben/sct.html …) but tries to keep it as simple as it can
-
-
I think that's also what one of the two Mercury termination analyses do. I'm not sure about the other.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
There are two because Mercury has mostly been used for research, each feature is one or more papers.
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.