[FOLLOW UP] Type system

ethereum / fe

Emerging smart contract language for the Ethereum blockchain.

https://fe-lang.org

Other

1.6k stars 179 forks source link

Open Y-Nak opened 11 months ago

Y-Nak commented 11 months ago

This is a follow-up issue for #931

[ ] Dependent type
[x] Integrate function definition to a type system, which should be implemented similarly to ADT def(resolved in #942)
[ ] Reference type

TBW