curry-howard correspondence
2 feeds in the directory cover this.
The House Carpenter
Guesses based on what each set of time and change is touching
~/ on Max's blog
Recent content in ~/ on Max's blog
Machine-readable: JSON · all topics
2 feeds in the directory cover this.
Guesses based on what each set of time and change is touching
Recent content in ~/ on Max's blog
Machine-readable: JSON · all topics