gram

gram copied to clipboard

Implement generalization. Now ```gram x => x ``` gets elaborated into a term which is alpha-equivalent to: ```gram {a : type} => (x : a) => x ``` **Status:** Ready...

stepchowfun

No code examples

2

I want to know what the language feels like. Can we add some simple code examples to the docs even if they're still conceptual (not implemented)? Or if something is...

jgonera