ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-28 12:45:26 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,007 Commits 54 Branches 46 Tags 340 MiB
cc47350322
Commit Graph

35 Commits

Author SHA1 Message Date
damirka
cc47350322 fix typo in comment 2021-07-05 16:31:46 +03:00
damirka
d1f8e52eba rework example to shaker sort 2021-07-05 16:28:50 +03:00
damirka
5f840e3b1e fix example - syntax outdated 2021-07-05 15:58:10 +03:00
damirka
f4e270ffd2 post review fixes 2021-07-05 15:47:01 +03:00
damirka
ad823ae8eb count down to countdown 2021-06-28 20:37:25 +03:00
damirka
f67c45774f adds countdown loops rfc 2021-06-27 20:18:07 +03:00
damirka
1083fc80c2 grammar fixes 2021-06-23 13:07:44 +03:00
damirka
7b150f3a19 draft for imports RFC 2021-06-22 19:45:19 +03:00
Alessandro Coglio
414cddb96d [RFC] Add concrete proposal for compiler option. 
This is based on today's discussion at the compiler sync. The rationale for the
proposed name is explained in the added text. Open to change, as always.
 2021-06-09 22:12:33 -07:00
Alessandro Coglio
8242cf4eb5
Merge pull request #1011 from AleoHQ/rfc-recursion 
Add RFC for bounded recursion.
 2021-06-08 21:55:05 -07:00
Eric McCarthy
27499429a7
Update 002-bounded-recursion.md 
minor fixups
 2021-06-08 18:32:05 -07:00
Alessandro Coglio
316e781c19 Update status of strings RFC. 2021-06-07 14:09:38 -07:00
Alessandro Coglio
696f877e5b Add RFC for bounded recursion. 2021-06-06 22:01:18 -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
Damir Shamanaev
df8bcb556c initial commit for RFCs 2021-01-13 17:12:35 +03:00