There's a 3 year postdoc position available, to work with me on Interactive Type Driven Development in Idris. Closing date 26th November, please spread the word! https://www.vacancies.st-andrews.ac.uk/Vacancies/W/6438/0/250507/889/research-fellow-ar2286sb …
-
-
I think FP has enough walls already...
-
Indeed. Sadly. Though, I can't decide whether to say "one of the goals of the project is to knock them down and make it more accessible" or "St Andrews castle doesn't have many walls left"...
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.