65 Commits

Author	SHA1	Message	Date
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
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	f948c6106e	Update docs and examples for hvm32	2024-04-26 22:35:42 +02:00
Nicolas Abril	3ed0a0ebd1	[sc-513] Update docs for match with	2024-04-03 20:47:47 +02:00
imaqtkatt	2cf3b8c4ba	Remove simplify ref passes and use inet level inlining	2024-04-02 08:43:40 -03:00
Nicolas Abril	afd0f7d68b	[sc-517] Refactor Fix match terms, add 'concat' to dictionary	2024-04-01 15:54:08 +02:00
Nicolas Abril	b18df385a2	[sc-517] Update docs, fix not checking fn arity, refactor match def checks	2024-03-29 10:50:16 +01:00
imaqtkatt	ad4f1bba95	Update recursion error message and update docs	2024-03-22 10:21:48 -03:00
imaqtkatt	f97b7c1379	Update recursion error message and update docs	2024-03-22 09:35:44 -03:00
FranchuFranchu	884070ed0e	Add Result. Make builtins fallible.	2024-03-15 15:55:37 -03:00
FranchuFranchu	c3dcc6a904	Add HVM.exit. Add documentation. Remove local test files.	2024-03-15 15:55:37 -03:00
imaqtkatt	58ee6c732b	Update cycle error message	2024-03-12 13:43:52 -03:00
imaqtkatt	4645b3231b	Update cycle error message	2024-03-12 12:41:08 -03:00
imaqtkatt	16b5743d77	Adjust automatic optimization section	2024-03-12 11:58:23 -03:00
imaqtkatt	c7d0c78646	Add linearization information	2024-03-12 11:55:10 -03:00
imaqtkatt	203eb130b9	Update lazy definitions documentation	2024-03-12 11:19:15 -03:00
imaqtkatt	09492296f9	Update cli arguments doc	2024-03-08 11:19:03 -03:00
Nicolas Abril	5dc062764d	[sc-499] Add documentation on cli arguments	2024-03-07 17:19:28 +01:00
imaqtkatt	13b9036b9d	WIP improve pattern matching docs	2024-02-29 09:38:33 -03:00
imaqtkatt	09a6e1e8ce	WIP improve pattern matching docs	2024-02-28 17:50:52 -03:00
imaqtkatt	bca59073c7	Fix typo and update word list	2024-02-28 15:35:57 -03:00
imaqtkatt	35f7a77cce	Add pattern matching documentation	2024-02-28 15:29:08 -03:00
imaqtkatt	978efa3b62	Improve native numbers doc	2024-02-28 10:14:36 -03:00
imaqtkatt	1b570712a4	Fix native-numbers fib comment	2024-02-28 08:53:46 -03:00
imaqtkatt	a0dbd04791	Improve docs and update examples with new match syntax	2024-02-27 17:47:20 -03:00
LunaAmora	d992c27670	Fix doc tipos	2024-02-27 14:05:53 -03:00
LunaAmora	d80639dcc9	Small doc fix	2024-02-27 11:47:07 -03:00
LunaAmora	5548cff89b	Rename pass, add flag docs	2024-02-27 10:00:02 -03:00
LunaAmora	ed190fa60c	Rename passes to be more descriptive	2024-02-27 09:30:11 -03:00
LunaAmora	e903af152f	Refactor lift_combinaotors to work with linearize_matches change	2024-02-26 13:42:29 -03:00
T6	244acd19a2	configure ci (#204)	2024-02-26 09:32:33 -05:00
FranchuFranchu	c03b1d233b	Add HVM.print [sc-469] (#206)	2024-02-26 10:01:55 -03:00
FranchuFranchu	f51e4eb22e	Make hvm lang compatible with ptr refactor [sc-362] ... Add `HVM.log` and `HVM.black_box`, together with their documentation. Add basic CLI support for limiting rewrites. Trimming names and adapting them for hvm-core is not necessary anymore. Update `pre_reduce`. `pre_reduce` can now reduce unrelated redexes in defs that use builtin defs. This is done by making builtin defs "inert" on pre-reduction, and then adding back their interactions to the reduced net. `pre_reduce_refs` is redundant now and has been removed. Make `Ctx` and `compile_book` take a mutable borrow of `Book`. Sister PR: https://github.com/HigherOrderCO/hvm-core/pull/60	2024-02-22 15:00:29 -03:00
imaqtkatt	de23e5c972	Improve entrypoint doc	2024-02-08 18:16:12 -03:00
imaqtkatt	78c1ee1c31	Improve entrypoint doc	2024-02-08 17:39:32 -03:00
imaqtkatt	4469ae59be	Refactor method name and add entrypoint option doc	2024-02-08 17:19:18 -03:00
imaqtkatt	938051bc84	Update and add inline docs	2024-02-07 13:59:09 -03:00
Nicolas Abril	b8c25e50df	[sc-407] Refactor how names are stored and defs are referenced	2024-02-07 15:52:38 +01:00
imaqtkatt	1176dbef13	Rename cross-refs option to pre-reduce-refs	2024-01-29 11:17:36 -03:00
imaqtkatt	4834e2e4dc	Update cross-refs docs	2024-01-29 10:34:51 -03:00
imaqtkatt	f5b9d8a036	Add cross-refs option	2024-01-29 10:23:08 -03:00
Nicolas Abril	67e71b391c	Merge pull request #141 from HigherOrderCO/docs/sc-394/clarify-fusing-functions-documentation ... Clarify fusing functions documentation [sc-394] and add explanation on removing duplications	2024-01-24 13:19:40 +01:00
FranchuFranchu	26f4e6556e	Clarify fusing functions documentation [sc-394] and add explanation on removing duplication.	2024-01-24 08:24:07 -03:00
imaqtkatt	646269d998	Update match syntax doc and change match bind test	2024-01-23 16:43:21 -03:00