13 commits

Author	SHA1	Message	Date
Sam Vervaeck	eef984f5a9	Display the new syntax in the README.md	2024-07-10 17:41:08 +02:00
Sam Vervaeck	6f7da2c588	Update to new do-notation in README.md	2024-07-10 09:34:10 +02:00
Sam Vervaeck	2bfd88b05f	Fix warnings in README.md	2024-02-26 22:28:31 +01:00
Sam Vervaeck	20939d12d7	Format warning as actual warning in README.md	2024-02-26 22:26:44 +01:00
Sam Vervaeck	89ab4833ba	Update FAQ 'When will the compiler be ready to use?' in README.md	2024-02-09 21:37:36 +01:00
Sam Vervaeck	b732e418cb	Update examples in README.md	2024-01-15 13:57:38 +01:00
Sam Vervaeck	e92e346bad	Decouple type checking info from CST and refactor checker.ts a bit	2023-08-12 13:46:19 +02:00
Sam Vervaeck	27d25fb849	Make example in README.md copy-pastable	2023-08-10 15:20:34 +02:00
Sam Vervaeck	aefba5a175	Put all additional resources in assets/	2023-04-14 20:11:41 +02:00
Sam Vervaeck	78ea550afd	Fix broken image link in README.md	2023-04-12 21:59:33 +02:00
Sam Vervaeck	036ccedea3	Rephrase paragraph in README.md	2022-10-01 13:58:23 +02:00
Sam Vervaeck	15f87ecc67	Add image of sample code in README.md	2022-09-10 14:36:01 +02:00
Sam Vervaeck	02e3806ceb	Add a README.md	2022-09-10 14:27:19 +02:00