Owen Lynch on Nostr: nprofile1q…4rrqe But like, if you wanted to do a proper semantics for *Lean* you ...
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) But like, if you wanted to do a proper semantics for *Lean* you need this...