ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-10-11 21:57:50 +03:00
Code Issues Packages Projects Releases Wiki Activity
376d713fb3
leo/docs/rfc
History
damirka 1083fc80c2 grammar fixes
2021-06-23 13:07:44 +03:00
..
__template.md initial commit for RFCs 2021-01-13 17:12:35 +03:00
000-rfc-format.md initial commit for RFCs 2021-01-13 17:12:35 +03:00
001-initial-strings.md Update status of strings RFC. 2021-06-07 14:09:38 -07:00
002-bounded-recursion.md [RFC] Add concrete proposal for compiler option. 2021-06-09 22:12:33 -07:00
003-imports-stabilization.md grammar fixes 2021-06-23 13:07:44 +03:00