And once you can do 2 + 2 you can do anything. Well... almost...
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
What's the machine representation of (S Z) in memory at the moment? Is it an S constructor + pointer to a Z constructor (resembling a singly linked list) or does it go in a machine register? :)
-
I have a vague memory of reading that at least one of the modern incredibly cool typed languages automatically implemented types that look like Peano arithmetic using ints and bigints but I can't remember which. :)
- 1 more reply
New conversation -
-
-
SHIP IT!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Does it give you Idris 4?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
2+2-complete
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.