Develop a type-directed operational semantics for expressions

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes

http://hazel.org/

MIT License

748 stars 50 forks source link

Open cyrus- opened 5 months ago

cyrus- commented 5 months ago

Would allow us to skip the elaboration phase, or large parts of it, and instead do "casts" directly via type ascriptions.