Upside of my old job: I worked with The Expert in Idris. Downside of my new job: I am an Idris Expert. #trainingwheelsareoff #nohands
Do you actually get to use Idris, or did it just spoil you for all real world programming?
-
-
For the moment, I get to use Idris. But I'm still in academia so I get to define my own 'real world'...
-
Nice world! :)
End of conversation
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.