@edwinbrady My Lisp inetrpreter’s working. Currently timing how long it takes to verify 2**3 == 8
-
-
@edwinbrady Yes! It takes 15 minutes. Now to learn how to implement applicative order reduction.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady It now takes five seconds with applicative order reduction.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.