Conversation

This just arrived! :O :O :O

Brendan Zabarauskas

@brendanzab

Had this one for a while now (thanks goes to

@typesanitizer

for helping to get this to me):

A photograph of me holding a copy of the book "Program = Proof" by Samuel Mimram

read image description

ALT

10:59 PM · Feb 4, 2021Twitter Web App

Replying to

and

ooooh i've been wanting to read this

Brendan Zabarauskas

@brendanzab

Feb 4, 2021

Me too to be honest! From a flick through it looks nice - mixing the mathsy/logic stuff with programming. I usually buy stuff in advance, then get around to it years later. Eg. currently messing with a typed assembly implementation from Ch 4 of Advanced Topics in TaPL… 😅