I seem to be spending the evening trying to make Idris 2 run on a @Raspberry_Pi. I know how to have a good time.
(No, really, this is enormous fun. Getting there...)
-
Show this thread
-
It turns out it doesn't quite work yet because the Idris runtime thinks the current time is a negative number on a 32 bit machine. I say this just in case: a) Anyone thinks time errors like the Y2K bug are made up b) Anyone might think I'm a competent unix programmer :)
1 reply 0 retweets 14 likesShow this thread -
2 replies 7 retweets 58 likesShow this thread -
Replying to @edwinbrady @Raspberry_Pi
Is there a new version of "Type-Driven Development with Idris" coming out for Idris2 or will all the Idris1 samples still work?
1 reply 0 retweets 0 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.