proof-search-monad icon indicating copy to clipboard operation
proof-search-monad copied to clipboard

verified publisher icon msprotz
→

Metadata

Tentative write-up of a neat trick used in the Mezzo type-checker

← Metadata

15
Stars
1
Forks
Watchers

Owner

verified publisher icon msprotz

Metadata

Tentative write-up of a neat trick used in the Mezzo type-checker

Back