40 Commits

Author	SHA1	Message	Date
Sipher	fb2b9b45f8	Update cspell.json ... Re add "tlsv", "proto", To remove cspell error	2024-06-05 15:07:17 -03:00
Sipher	1410e8f0be	Update cspell.json ... Removed not necessary stuff from cspell	2024-06-05 15:00:25 -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	6182ac74fa	Make monadic blocks lazy by defering execution of continuations with free vars	2024-05-30 23:30:44 +02:00
Nicolas Abril	f72e544da8	Merge pull request #491 from HigherOrderCO/CONTRIBUTING ... Add CONTRIBUTING	2024-05-28 13:56:09 +00:00
Yan Mendes	6759c2584d	adds clippy word to cspell	2024-05-27 16:41:01 -03: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
Nicolas Abril	01a3337d49	Use the HVM AST instead of an internal one	2024-05-25 19:03:13 +02:00
Nicolas Abril	d034b92577	Update dictionary	2024-05-22 21:25:31 +02:00
imaqtkatt	c8c54f911c	Adjust cspell	2024-05-21 12:53:56 -03:00
Nicolas Abril	9716297d1b	fix typo and update dictionary	2024-05-19 01:10:19 +02:00
Nicolas Abril	c9bf2d4b83	Add new words to dictionary	2024-05-18 15:29:33 +02:00
Nicolas Abril	1585d2d5bc	[sc-699] Require , in list-like things in imp syntax	2024-05-17 18:11:07 +02:00
Eduardo Sandalo Porto	b31cf3529b	Add words to spell checker	2024-05-16 16:44:02 -03:00
Nicolas Abril	2f7ae6c276	[sc-688] Add string resugaring of readback term	2024-05-15 19:00:20 +02:00
Nicolas Abril	f0cc9dd2d8	[sc-684] Update dictionary for guide.md	2024-05-15 12:44:02 +02:00
Nicolas Abril	092bb26a7b	Update dictionary	2024-05-15 00:32:50 +02:00
imaqtkatt	461305ef35	Add constructor error in order kwargs, add kwarg to cspell	2024-05-12 20:22:38 -03:00
imaqtkatt	aaeb5d10bd	Improve syntax doc	2024-05-08 09:45:19 -03:00
imaqtkatt	a919c016aa	Adjust cspell	2024-05-08 09:45:19 -03:00
Nicolas Abril	cf680f559d	[sc-630] Rename the crate to bend and update docs for it	2024-05-07 21:58:06 +02:00
Nicolas Abril	03fcf344f1	[sc-548] Add support for i24 and f24	2024-05-06 14:36:54 +02:00
imaqtkatt	273733a84f	Adjust cspell	2024-05-03 13:33:25 -03:00
Nicolas Abril	1313a73aa1	[sc-653] Reorder compiled redexes recursive last	2024-05-02 16:55:26 +02:00
Nicolas Abril	9db85265c4	[sc-501] Use TSPL for the parser	2024-04-10 20:33:47 +02:00
Nicolas Abril	afd0f7d68b	[sc-517] Refactor Fix match terms, add 'concat' to dictionary	2024-04-01 15:54:08 +02:00
Nicolas Abril	7611eaadb0	[sc-517] Use kind2-like pattern matching terms, remove nested lets and adt lets	2024-03-29 10:49:36 +01:00
imaqtkatt	ec24ae2a80	Update float combinators doc and combinators test	2024-03-27 16:41:30 -03:00
imaqtkatt	6b7cbeb7be	Update cspell and add nat resugar test	2024-03-19 13:59:17 -03:00
Nicolas Abril	582ac2ba82	Add 'peekable' to cspell dictionary	2024-03-12 19:28:23 +01:00
imaqtkatt	4645b3231b	Update cycle error message	2024-03-12 12:41:08 -03:00
imaqtkatt	5fd3865f18	[sc-505] Include strict and lazy results	2024-03-08 15:28:43 -03:00
imaqtkatt	8722c96d2d	Merge pull request #214 from HigherOrderCO/chore/sc-482/add-documentation-on-how-pattern-matching ... [sc-482] Add documentation on how pattern matching is encoded	2024-02-29 14:57:16 -03:00
tjjfvi	94c3b449f5	bump hvmc	2024-02-29 10:39:40 -05:00
imaqtkatt	bca59073c7	Fix typo and update word list	2024-02-28 15:35:57 -03:00
Nicolas Abril	7b859fc41e	[sc-441] Fix CI warnings	2024-02-27 22:01:08 +01:00
imaqtkatt	2c35a13074	Add "tunr" as correct word	2024-02-27 15:31:23 -03:00
T6	244acd19a2	configure ci (#204)	2024-02-26 09:32:33 -05:00