A few weeks ago, I was faced with a class of sceptical second years who'd never seen Haskell before. Last week, I graded their first coursework (a command line calculator plus various extensions) and it was, by and large, great.
-
-
I want to keep doing this (and at least I hope students want me to keep doing this!). Also, it's doing this that allows me to have fun hacking on Idris :).
Show this thread -
But I'm not going to be able to retire on the nice warm glow I get from student success. This is why I'm ranting about
#USSstrike.Show this thread -
The
#USSstrike isn't about me or any other individual. If we give up, it's higher education in the UK as a whole that suffers. We need highly motivated staff who care about their field.Show this thread -
Anyway. Sorry about all the strike related ranting. We're back at work on Friday. I promise an exciting dependent types related tweet then to make up for my current grumpiness :).
Show this thread
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.