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!!
-
Show this thread
-
computers: sometimes they are not terrible.
1 reply 1 retweet 6 likesShow this thread -
Also dependent types are really, really cool y'all.
1 reply 1 retweet 11 likesShow this thread -
Replying to @pasiphae_goals
I’m on a train with a bad internet connection and realising that I have no idea what a dynamorphism is. But this sounds cool anyway :).
2 replies 0 retweets 2 likes
Replying to @edwinbrady @pasiphae_goals
With any luck, I’ll manage to find out before I get home.
3:31 PM - 11 Oct 2017
0 replies
0 retweets
1 like
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.