238 Commits

Author	SHA1	Message	Date
Alessandro Coglio	322518c196	Merge pull request #1056 from AleoHQ/rfc-type-casts ... [RFC] Add initial RFC for type casts.	2021-06-30 22:04:28 -07:00
Alessandro Coglio	98b59566f1	Fix typo.	2021-06-30 14:47:34 -07:00
damirka	91078a4414	small edits	2021-06-30 22:14:36 +03:00
damirka	b371fecaea	wrap up	2021-06-30 22:00:48 +03:00
Alessandro Coglio	3413f608eb	[RFC] Incorporate suggestions from Eric M.	2021-06-29 10:59:23 -07:00
damirka	34777842e5	draft updates for ps and curves	2021-06-28 21:20:45 +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
Alessandro Coglio	ffd2a81b60	[RFC] Add initial RFC for type casts.	2021-06-22 14:56:17 -07: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