2063 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Vitor	1d66b89db2	added guide	2024-06-05 13:34:19 -03:00
Sipher	3ca84bc653	Update GUIDE.md ... change from py to sh	2024-06-05 13:32:13 -03:00
Vitor	2ca3516573	edited the requirements	2024-06-05 13:31:30 -03:00
Sipher	3aa450d124	Update cspell.json	2024-06-05 13:07:59 -03:00
Nicolas Abril	c97e47107d	Merge pull request #546 from HigherOrderCO/528-add-syntax-for-a-builtin-tree-type ... 528 Add syntax for a builtin Tree type	2024-06-05 16:02:05 +00:00
Nicolas Abril	b20a126768	Add tree syntax to syntax.md	2024-06-05 17:47:03 +02:00
Sipher	64df76db00	Update README.md ... Fix Typos	2024-06-05 12:20:19 -03:00
Sipher	b68ecee29b	Update README.md	2024-06-05 12:16:02 -03:00
Nicolas Abril	2efc8fcb37	Merge pull request #454 from ematth/main ... List Function Examples	2024-06-05 14:19:32 +00:00
Nicolas Abril	43f9d77968	Increase version to 0.2.32	2024-06-05 16:03:29 +02:00
Nicolas Abril	b4bf3dede2	Add Tree syntax and builtins	2024-06-05 16:00:43 +02:00
Nicolas Abril	d382c7a60e	Merge pull request #542 from HigherOrderCO/call-expand-generated-for-succ-term ... Call expand_generated for succ_term	2024-06-04 19:22:18 +00:00
imaqtkatt	6be50fe8aa	Bump version to 0.2.31	2024-06-04 16:19:43 -03:00
imaqtkatt	c411067a34	Apply clippy suggestions	2024-06-04 15:22:47 -03:00
imaqtkatt	bb428fa09c	Call expand_generated for succ_term	2024-06-04 14:43:11 -03:00
Nicolas Abril	19d7972a4a	Merge pull request #539 from HigherOrderCO/dont-expand-recursive-generated-functions ... Dont expand generated recursive definitions	2024-06-04 14:27:51 +00:00
imaqtkatt	2ff7f417fb	Reimplement stack based find_cycles	2024-06-04 09:56:48 -03:00
imaqtkatt	741583c351	Bump version to 0.2.30	2024-06-04 09:11:04 -03:00
imaqtkatt	0ea135e3cb	Expose recursive defs as a book method and rewrite find_cycles	2024-06-04 09:09:21 -03:00
imaqtkatt	ee4c32a68f	Dont expand recursive definitions	2024-06-04 09:09:21 -03:00
imaqtkatt	3b88a7ec9c	Merge pull request #541 from HigherOrderCO/479-add-option-to-use-different-hvm-binary ... Rename hvm bin option to hvm-bin, add env var with same name	2024-06-04 11:02:11 +00:00
Nicolas Abril	2d49d49adb	Bump version to 0.2.29	2024-06-04 12:43:46 +02:00
Nicolas Abril	ce4f6c7067	Rename hvm bin option to hvm-bin, add env var with same name	2024-06-03 17:26:39 +02:00
Yan Mendes	b4582e7a57	Merge pull request #537 from CristianoPizzamiglio/docs-readme-faq ... Update FAQ link	2024-06-01 20:32:42 +00:00
cristiano.pizzamiglio	3aa54f8c37	Update FAQ link	2024-06-01 22:14:49 +02:00
Nicolas Abril	a5066181c5	Merge pull request #535 from HigherOrderCO/hvm-path-option ... Hvm path option	2024-05-31 19:19:03 +00:00
Nicolas Abril	8e652500d8	Run cargo fmt	2024-05-31 21:04:50 +02:00
Nicolas Abril	394a0b58d5	Merge pull request #534 from HigherOrderCO/526-mechanism-to-make-recursive-monadic-functions-not-loop ... Make monadic blocks lazy by defering passing of free vars	2024-05-31 16:54:36 +00:00
Nicolas Abril	3705094b6d	Add unbound refs check	2024-05-31 18:52:22 +02:00
evanmm3	2140f7a3a7	insta test/review completed	2024-05-31 09:09:01 -05:00
evanmm3	b33e857df4	remove .vscode from future commits	2024-05-31 09:03:24 -05:00
Renato Alencar	ec0dd6fa68	Add --hvm option in order to make it configurable	2024-05-30 21:46:24 -03:00
Nicolas Abril	6f6747ddc9	Update src/fun/transform/desugar_with_blocks.rs ... Co-authored-by: imaqtkatt <135721694+imaqtkatt@users.noreply.github.com>	2024-05-30 23:58:39 +02:00
Nicolas Abril	137591f7ae	Fix dictionary and rename readback test	2024-05-30 23:37:26 +02:00
Nicolas Abril	6182ac74fa	Make monadic blocks lazy by defering execution of continuations with free vars	2024-05-30 23:30:44 +02:00
Nicolas Abril	3c9a532df1	Merge pull request #529 from HigherOrderCO/465-add-mapper-statements ... #465 Add mapper statements	2024-05-30 20:03:25 +00:00
imaqtkatt	ae0e2cbe84	Fix typo	2024-05-30 16:36:26 -03:00
imaqtkatt	4c391a746a	Bump version to 0.2.28 and update syntax doc	2024-05-30 16:32:23 -03:00
Evan M. Matthews	8d5c768fc3	Delete graphs from commit ... Whoops, that's not supposed to be committed yet.	2024-05-29 15:55:12 -04:00
imaqtkatt	ad34a2165b	Implement in-place mapper	2024-05-29 16:51:38 -03:00
evanmm3	720e748d25	fixed List/pop_front, added List/head	2024-05-29 14:21:55 -05:00
Evan M. Matthews	7955dd9ce1	Update List/append with stored value i-1 ... Co-authored-by: Nicolas Abril <y906846m@anonaddy.me>	2024-05-29 12:30:33 -04:00
Evan M. Matthews	3324a53880	Update List/pop_back ... Co-authored-by: Nicolas Abril <y906846m@anonaddy.me>	2024-05-29 12:29:51 -04:00
Nicolas Abril	523300bd4c	Merge pull request #527 from NaoEhSavio/main ... replace data with type	2024-05-29 15:08:44 +00:00
NaoEhSavio	01506fd96c	replace data with type	2024-05-29 11:59:58 -03:00
Nicolas Abril	deebd1f6f0	Merge pull request #524 from HigherOrderCO/516-make-with-clauses-take-a-bind-and-an-argument ... Make with clauses take a bind and an argument	2024-05-29 12:28:28 +00:00
Nicolas Abril	d086426e26	Remove commented debug code, update bend grammar	2024-05-29 14:25:55 +02:00
Nicolas Abril	f6fa53a74a	Bump version to 0.2.27	2024-05-29 10:13:09 +02:00
Nicolas Abril	d0db4f0c0c	Update for rebase	2024-05-29 09:58:48 +02:00
Nicolas Abril	7697acd137	Make with clauses take a bind and an argument	2024-05-29 09:57:40 +02:00