11 Commits

Author	SHA1	Message	Date
d0cd	48a1f0590b	Rename console.assert* to assert*. (#2205) ... * Add assert statements to AST * Add support in passes * Add parser support * Add tyc support * Add support for assert statements in the remaining passes * Fix examples, tests, and regen expectations * Fmt * Regen expectations	2022-12-06 21:56:48 -08:00
Pranav Gaddamadugu	8283c922f6	Some bug fixes; update some examples	2022-10-05 15:27:54 -07:00
Pranav Gaddamadugu	a886357585	Update examples to use transition keyword	2022-10-03 11:22:37 -07:00
collin	eafd265f75	unify leo examples with workshop, run all examples in circleci	2022-09-21 15:59:33 -07:00
Pranav Gaddamadugu	91a2137136	Update docs for auction example	2022-09-20 13:00:14 -07:00
Pranav Gaddamadugu	66c90e622e	Update auction example	2022-09-19 18:56:06 -07:00
collin	b9d32ee695	remove checkmark, clarify leo output for all commands	2022-09-17 16:08:19 +02:00
Alessandro Coglio	60180e78e5	[examples] Add explanations to auction example.	2022-08-08 16:34:28 -07:00
Alessandro Coglio	ea6bee21f0	[examples] Add @program annotation.	2022-08-05 22:03:43 -07:00
Alessandro Coglio	54f2410e96	[examples] Get this to compile at least.	2022-08-03 23:21:54 -07:00
Alessandro Coglio	07154af8ec	[examples] A very simple auction-related example.	2022-08-03 23:05:27 -07:00