4 Commits

Author	SHA1	Message	Date
Alessandro Coglio	2605e0a0ee	[RFC] Updates some statuses.	2021-07-23 20:32:13 -07: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
Eric McCarthy	27499429a7	Update 002-bounded-recursion.md ... minor fixups	2021-06-08 18:32:05 -07:00
Alessandro Coglio	696f877e5b	Add RFC for bounded recursion.	2021-06-06 22:01:18 -07:00