Re: Tej on having everything in one file. Here’s a little language that does that — https://github.com/jeapostrophe/teachlog
See main.rkt for four modules implementing 90% of the language. ugly.rkt defines three others. and grammar.rkt defines one
@joachim.maes has joined the channel
Anyone looking forward to tomorrow wanting something to read beforehand (other than the lecture notes) for track 1 I would recommend this tutorial on Bidirectional Typing Rules by David Christiansen: http://www.davidchristiansen.dk/tutorials/bidirectional.pdf
is more tempted to find out where that loud music is coming from right now
might just be held up by being too lazy
Hah! Us as well. We should all crash it @markus.pfeiffer
Figured I’d throw this recent note out there from Paul Graham https://twitter.com/paulg/status/1148925798759522304