STLC
STLC copied to clipboard
Published
20 hours ago •
effectfully
effectfully
Dependently typed Algorithm M and friends
Results
1
STLC issues
Sort by
recently updated
recently updated
newest added
From its type, it seems for a given term, `M` `Maybe` gives you a proof of well-typed-ness; but you always have the danger of leaving `Nothing`-handed. I think it'd be...
enhancement