@edwinbrady Is Idris a recognised programming language though!
-
-
-
@jfdm I recognise it!
End of conversation
New conversation -
-
-
@edwinbrady Good luck! I remember@copumpkin's naïve prime sieve in Agda only getting around 4-6 primes to fit in mem. ;) You can do it! =) -
@kmett Wow. Is the code available? Just wondering how to make it that big :).@copumpkin - 1 more reply
New conversation -
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.