gram icon indicating copy to clipboard operation
gram copied to clipboard
verified publisher icon gramlang

Implement generalization

Open stepchowfun opened this issue 5 years ago • 0 comments

Implement generalization. Now

x => x

gets elaborated into a term which is alpha-equivalent to:

{a : type} => (x : a) => x

Status: Ready

Fixes: N/A

stepchowfun avatar Apr 17 '20 13:04 stepchowfun