Post #713466

wrote a blog post, mostly to try to get back in the habit of public writing and to resurrect my blog. It uses agda-categories to give show semantics for STLC in a CCC. The very end has a few things that I will return to finish, but wanted to his publish in any case: https://boarders.github.io/posts/stlc-semantics.html [apologies for the bad taste and quite hacky agda syntax highlighting, it is on my TODO list to do something better]