ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 17:13:06 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,785 Commits 53 Branches 44 Tags 331 MiB
3a9b7c276b
Commit Graph

27 Commits

Author SHA1 Message Date
Alessandro Coglio
87c8ec2923 [RFC] Move future extensions under future extensions. 
Also add subsections for each future feature.

Also tweak/improve some wording.
 2021-09-29 10:26:53 -07:00
Alessandro Coglio
6340929f28 [RFC] Move future extensions section to the end. 2021-09-29 10:17:09 -07:00
Alessandro Coglio
4bbbac131e [RFC] Use heading levels accoring to template. 2021-09-29 10:15:46 -07:00
Alessandro Coglio
b966b1833c [RFC] Generalize some text. 2021-09-29 10:13:24 -07:00
Alessandro Coglio
eee2db223d [RFC] Streamline RFC author information. 2021-08-31 09:11:26 -07:00
Alessandro Coglio
316e781c19 Update status of strings RFC. 2021-06-07 14:09:38 -07:00
Eric McCarthy
b59b77df30
Disallow underbars in \u{} escapes. 
Rust allows `\u{1_____0__F____F______FF__________________________}` to mean `\u{10FFFF}`, in both char and string literals.  This PR, if accepted, would disallow this syntax in Leo char and string literals.
 2021-06-06 20:10:06 -07:00
Eric McCarthy
37e9e35bf4
Update 001-initial-strings.md 
Add references to Rust documentation on character literal syntax and string literal syntax.  Remove example of empty string.
 2021-05-26 09:10:00 -07:00
Alessandro Coglio
31bb04b395 [RFC] Add a clarification. 2021-05-10 19:47:34 -07:00
Alessandro Coglio
b91dc7da4a [RFC] Fix typo found by Eric M. 2021-05-09 14:23:11 -07:00
Alessandro Coglio
bca2bfcf93 [RFC] Update according to today's meeting. 2021-05-07 16:26:54 -07:00
Alessandro Coglio
50e6f93a44 Fix typo found by Eric M. 
Also auto-remove trailing whitespace.
 2021-05-07 08:56:56 -07:00
Alessandro Coglio
554cc30c55 [RFC] Make a TODO clearer. 2021-05-06 21:08:44 -07:00
Alessandro Coglio
9c72b37d4d [RFC] Add discussion of ordering operations. 
This is based on a Slack conversation with Pratyush.
 2021-05-06 21:03:13 -07:00
Alessandro Coglio
fd42473b4a [RFC] Add a couple more ops to consider. 2021-05-06 20:31:21 -07:00
Alessandro Coglio
bda2dbf92d [RFC] Add TODO about \x.. escapes. 2021-05-06 20:25:03 -07:00
Alessandro Coglio
79fd365702 [RFC] Add discussion of conversions with (arrays of) integers. 2021-05-06 20:19:14 -07:00
Alessandro Coglio
6f5655f95f [RFC] Minor edits. 
Fix a few typos, improve some text, streamline some text.
 2021-05-06 20:19:03 -07:00
damirka
6474f3f5ab adds 2 code samples to strings RFC 2021-05-06 15:28:45 +03:00
Alessandro Coglio
4fb3d9cac8 Merge. 2021-05-05 20:34:16 -07:00
gluax
2818d1404f some todos 2021-05-05 14:11:19 -04:00
Eric McCarthy
e7f88a9849
add mention of Javascript and Rust 2021-05-04 12:10:07 -07:00
Alessandro Coglio
6b7999f0eb Use markdown for some of the added text. 2021-05-04 09:57:18 -07:00
Alessandro Coglio
d3e46386c1 Fix type names. 2021-05-04 09:56:25 -07:00
Eric McCarthy
2fc07908d7
fix typo in name 2021-05-04 08:50:09 -07:00
Eric McCarthy
050dc72952
Update 001-initial-strings.md 2021-05-04 00:56:31 -07:00
Alessandro Coglio
b8f61a2d7f Add initial draft of string RFC. 2021-05-02 14:03:08 -07:00