1778 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
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
imaqtkatt	ad34a2165b	Implement in-place mapper	2024-05-29 16:51:38 -03: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
Nicolas Abril	1bb6183559	Merge pull request #523 from HigherOrderCO/494-change-the-monadic-block-syntax ... #494 Change the monadic block syntax	2024-05-29 07:26:24 +00:00
imaqtkatt	a9f15b5c21	Bump version to 0.2.26	2024-05-28 19:10:24 -03:00
imaqtkatt	ea4a79ca6d	Change 'do' keyword to 'with'	2024-05-28 16:49:00 -03:00
imaqtkatt	046b1d7826	Merge pull request #522 from HigherOrderCO/471--make-the-long-string-tests-not-have-a-giant-output ... #471 Make the long string tests not have a giant output	2024-05-28 15:30:04 +00:00
imaqtkatt	9f7871709a	Move huge_tree test to compile_long	2024-05-28 12:25:39 -03:00
imaqtkatt	3316964893	Add compile_long test	2024-05-28 12:01:52 -03:00
Nicolas Abril	f72e544da8	Merge pull request #491 from HigherOrderCO/CONTRIBUTING ... Add CONTRIBUTING	2024-05-28 13:56:09 +00:00
imaqtkatt	ba8fa19ce3	Merge pull request #518 from HigherOrderCO/512-put-constructor-tags-behind-a-reference-in-num-scott-adt-encoding ... #512 Put constructor tags behind a reference in num scott adt encoding	2024-05-28 13:40:18 +00:00
imaqtkatt	983bd9034a	Fix md table formatting	2024-05-28 10:34:25 -03:00
imaqtkatt	6a58909bbf	Update num scott compiler options	2024-05-28 10:28:24 -03:00
imaqtkatt	1e930dadb8	Bump version to 0.2.25	2024-05-28 09:54:56 -03:00
Yan Mendes	12826674c3	Update CONTRIBUTING.md	2024-05-27 16:52:12 -03:00
Yan Mendes	6759c2584d	adds clippy word to cspell	2024-05-27 16:41:01 -03:00
kings177	dee1c72192	fix typos	2024-05-27 16:38:48 -03:00
kings177	2bd0768e89	Add submitting changes and HVM issue headers	2024-05-27 16:35:02 -03:00
imaqtkatt	053c7a5817	Fix string and list readback	2024-05-27 15:50:06 -03:00
imaqtkatt	b74c3e2693	Generate definitions for constructor tags	2024-05-27 15:09:23 -03:00
Nicolas Abril	043331190d	Merge pull request #492 from Sipher/main ... Add BUILTINS.MD	2024-05-27 14:26:52 +00:00
Sipher	28eb877f7b	Merge branch 'HigherOrderCO:main' into main	2024-05-27 11:05:18 -03:00
Vitor	b0201ec366	Merge branch 'main' of https://github.com/Sipher/Bend	2024-05-27 11:03:40 -03:00
Vitor	b83f23d278	changed BUILTINS.ms	2024-05-27 11:03:31 -03:00
Nicolas Abril	7cb38c25b4	Merge pull request #511 from HigherOrderCO/427-request-else-if-chains ... #427 else if chains	2024-05-27 14:00:18 +00:00
Nicolas Abril	f5dfa48dcd	Merge pull request #515 from HigherOrderCO/kings177-patch-3 ... Fixes operations table on native-numbers.md	2024-05-27 13:55:30 +00:00
Yan Mendes	e848f5807c	Fixed operations table	2024-05-27 10:49:33 -03:00
Nicolas Abril	3ec35c5092	Fix spelling of successful	2024-05-27 15:15:15 +02:00
Nicolas Abril	6c9f87c98c	Explain that elifs are evaluated sequentially in syntax.md	2024-05-27 15:01:21 +02:00
imaqtkatt	bd5617ab30	Adjust cspell	2024-05-27 08:56:52 -03:00
imaqtkatt	ac6f0fbb67	Bump version to 0.2.24 and update docs	2024-05-27 08:53:32 -03:00
imaqtkatt	24b3219016	Implement elif	2024-05-27 08:15:36 -03:00