proof-search-monad
proof-search-monad copied to clipboard
Tentative write-up of a neat trick used in the Mezzo type-checker