108 Commits

Author	SHA1	Message	Date
imaqtkatt	ac6f0fbb67	Bump version to 0.2.24 and update docs	2024-05-27 08:53:32 -03:00
Gadersd	24f6995708	Correct typo	2024-05-25 20:03:12 -04:00
Nicolas Abril	01a3337d49	Use the HVM AST instead of an internal one	2024-05-25 19:03:13 +02:00
imaqtkatt	f92932063b	Refactor name parsing	2024-05-24 11:23:48 -03:00
imaqtkatt	20a20027d3	Dont allow variable names contain '__'	2024-05-24 10:50:04 -03:00
imaqtkatt	9f6672bd92	Improve switch predecessor variable doc	2024-05-22 19:36:59 -03:00
imaqtkatt	e189dee195	Update docs and bump version to 0.2.12	2024-05-22 12:59:49 -03:00
imaqtkatt	47dd00a566	Update docs	2024-05-22 12:01:03 -03:00
Nicolas Abril	9302a5b26d	Fix more of the documentation	2024-05-20 19:10:36 +02:00
Nicolas Abril	daa85e1bf6	Merge remote-tracking branch 'origin/main' into jf/docs-fix	2024-05-20 17:38:50 +02:00
Nicolas Abril	0e26732c4e	Disable check-net-size by default	2024-05-20 17:12:08 +02:00
Nicolas Abril	f7a238c58a	[sc-663] Add num-scott adt encoding, it a cli opt	2024-05-20 14:47:50 +02:00
Nicolas Abril	be390b1240	Update docs/writing-fusing-functions.md	2024-05-20 09:51:15 +02:00
Jason Fong	276dcc6280	documentation edits	2024-05-18 23:34:20 -04:00
Nicolas Abril	8fda78f1e6	Merge pull request #372 from mmoult/main ... Documentation edits	2024-05-19 00:03:20 +00:00
Nicolas Abril	9716297d1b	fix typo and update dictionary	2024-05-19 01:10:19 +02:00
Nicolas Abril	076415d9ab	Increase max net size and make the check optional	2024-05-19 00:29:37 +02:00
mmoult	3dae6fd121	Documentation edits ... Improve description clarity, remove trailing spaces	2024-05-18 11:16:14 -05:00
Ty Chermsirivatana	f7b3637270	Update native-numbers.md	2024-05-17 18:26:27 -04:00
Shixian Sheng	ee0de3e6de	Update pattern-matching.md	2024-05-17 17:16:39 -04:00
Shixian Sheng	65e3138ae4	Update pattern-matching.md	2024-05-17 17:12:01 -04:00
Shixian Sheng	73b8c197d2	Update defining-data-types.md	2024-05-17 17:11:27 -04:00
Shixian Sheng	7546349636	Update defining-data-types.md	2024-05-17 17:11:06 -04:00
Shixian Sheng	3f4dc9fa45	Update compiler-options.md	2024-05-17 17:09:13 -04:00
Shixian Sheng	639da5355c	Update lazy-definitions.md	2024-05-17 17:04:11 -04:00
Shixian Sheng	133f64228e	Update lazy-definitions.md	2024-05-17 16:59:55 -04:00
imaqtkatt	e22d7f33d8	Fix empty map parsing and improve syntax doc	2024-05-17 13:07:09 -03:00
Nicolas Abril	95aa804efb	Merge pull request #318 from HigherOrderCO/feature/sc-695/add-bend-to-the-functional-syntax-document ... [sc-695] Add 'bend' to the functional syntax document	2024-05-17 14:24:57 +02:00
imaqtkatt	4b28b429eb	Add supported number types	2024-05-17 09:08:45 -03:00
Nicolas Abril	7043f93293	[sc-697] Update documentation, add use stmts, fix list parser	2024-05-17 12:54:25 +02:00
imaqtkatt	fad1471cda	Add bend to functional syntax doc	2024-05-16 17:25:49 -03:00
Nicolas Abril	faa6bdb9fc	[sc-694] Replace 'go' with 'fork' in 'bend'	2024-05-16 18:14:30 +02:00
Nicolas Abril	5b4524e4a7	Change comments to #	2024-05-15 21:26:16 +02:00
imaqtkatt	372ae8a384	Update lambda syntax and built-in constructor names	2024-05-15 15:23:26 -03:00
Nicolas Abril	a763052c11	[sc-686] Add record types and record type destructuring	2024-05-15 17:53:50 +02:00
imaqtkatt	97d01385d6	Improve eraser doc	2024-05-15 09:38:49 -03:00
imaqtkatt	6b1a5ef9f4	Add eraser expression	2024-05-15 09:33:16 -03:00
Nicolas Abril	f8cfd5bebd	[sc-682] Allow branching statements to end with assignment	2024-05-14 23:36:43 +02:00
imaqtkatt	dbb4c994e8	Update syntax doc	2024-05-14 09:02:33 -03:00
imaqtkatt	204024500c	Re add old constructor syntax, adjust cases and lambdas	2024-05-11 15:53:17 -03:00
Nicolas Abril	2f8a12bceb	[sc-670] Add priority redexes and order dups correctly in compilation	2024-05-10 21:08:29 +02:00
imaqtkatt	4b8d24d48e	Update docs/syntax.md ... Co-authored-by: Nicolas Abril <nicolas@higherorderco.com>	2024-05-08 16:19:57 -03:00
imaqtkatt	aaeb5d10bd	Improve syntax doc	2024-05-08 09:45:19 -03:00
imaqtkatt	25131d5b1c	Adjust cspell	2024-05-08 09:45:19 -03:00
imaqtkatt	4d8eafc4ca	Improve fold doc	2024-05-08 09:45:19 -03:00
imaqtkatt	a9f01dee12	Add bend syntax	2024-05-08 09:45:19 -03:00
imaqtkatt	41b15f44d5	Improve syntax doc	2024-05-08 09:45:19 -03:00
imaqtkatt	a919c016aa	Adjust cspell	2024-05-08 09:45:19 -03:00
imaqtkatt	127fee6993	Fix some typos	2024-05-08 09:44:36 -03:00
imaqtkatt	f682daf91b	Add bend syntax documentation	2024-05-08 09:44:36 -03:00