I'm messing about with a possible new core for Idris. I've got this far. It's surprising what you need to do to get this far...https://gist.github.com/edwinb/617c016e2380d46c12b6d0fda0891245 …
-
Show this thread
-
This rather ridiculous example typechecks about 30 times faster than Blodwen, so it's possible I should keep going on this one...https://gist.github.com/edwinb/56f6e9730b6a7ebca9f258f5222db6f4 …
3 replies 0 retweets 20 likesShow this thread -
Replying to @edwinbrady
How long is this taking? Just tried this in Granule and it takes a ridiculous 4 seconds on my 2.3 GHz i5 (8 GB RAM).
1 reply 0 retweets 0 likes
Replying to @buggymcbugfix
I got 0.1s or so on my macbook. Profiling suggests there's a little more to be gained too... Though it is an extreme example.
12:24 AM - 7 Apr 2019
0 replies
0 retweets
2 likes
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.