Implement generalization#316

Open

stepchowfun wants to merge 1 commit into

main from

Open

Implement generalization #316
stepchowfun wants to merge 1 commit into
main from
generalization

Copy link

Copy Markdown

Member

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 stepchowfun force-pushed the generalization branch 12 times, most recently from 2df78d5 to ecebf75 Compare


 Implement generalization

02b4e84

@stepchowfun stepchowfun changed the base branch from master to main