Profile cover photo
Profile photo
Matthew Brecknell
80 followers
80 followers
About
Posts

Post has attachment
A playlist of an old BFPG talk series.
Add a comment...

Post has attachment

Post has attachment
University of Queensland tells cyclists to GTFO, reinforces attitude that motorists shouldn't have to look out for cyclists. Wouldn't it be more responsible to remind motorists of their legal obligation to NOT KILL CYCLISTS?
Add a comment...

Post has attachment
Part two of an introduction to dependent types in Agda, given at the Brisbane Functional Programming Group.

Part one is here:
https://www.youtube.com/watch?v=QyUVONbwHYE
Add a comment...

Post has attachment
Part one of an Introduction to dependent types in Agda, given at the Brisbane Functional Programming Group.

Part two is here:
https://www.youtube.com/watch?v=7iAkFh9xOIc
Add a comment...

Post has attachment
Exploring the relationships between finite sum and product types, Sigma and Pi types, and exponentials
Photo
Add a comment...

Post has attachment
My wife just launched her website, together with her first novel.
Add a comment...

Post has attachment
Lambda, the ultimate haircut. #yow13
Photo
Add a comment...

Post has attachment
Add a comment...

Post has attachment
Wait while more posts are being loaded