ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-19 08:02:14 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,500 Commits 54 Branches 46 Tags 339 MiB
9ac0510cb9
Commit Graph

2 Commits

Author SHA1 Message Date
gluaxspeed
9ac0510cb9 update rfc #8 2021-09-07 03:58:28 -07:00
Alessandro Coglio
542638baf9 [RFC] Initial draft of RFC for built-in declarations. 
This has been written to be more broad than type aliases, which were the initial
inspiration for this.
 2021-07-27 13:38:22 -07:00