Gödel's System T in TypeScript
Experimenting with a rudimentary type system that ensures the programs always terminate.
Impressions from EMEA Pug Challenge 2017
I had the pleasure to speak at the annual EMEA PUG Challenge conference in Prague. This is my second visit to this event. I was very excited about it because I already had fond memories of the last year’s one in the Netherlands.