Investigate impredicative types - Githubissues

escalier-lang / escalier

A compile-to-JavaScript language with tight TypeScript integration.

https://escalier-lang.github.io/escalier/

MIT License

21 stars 1 forks source link

Investigate impredicative types #696

Open kevinbarabash opened 1 year ago