I just wrote a function to compute the catalan numbers using my Idris library's dynamorphism and it worked on the first try?? I'm so happy!!
-
-
The code is here! It's just a fancy recursion schemes :p https://github.com/vmchale/recursion_schemes/blob/master/Test/Spec.idr …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
With any luck, I’ll manage to find out before I get home.
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.