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
imaqtkatt
0e3b67ce04
Improve supercombinators documentation
2024-01-22 15:34:53 -03:00
imaqtkatt
f3feeb319d
Add documentation for toggleable passes
2024-01-22 11:00:15 -03:00
Martin Janiczek
9ad05e2e9e
Fix a typo in lazy-definitions.md
2024-01-20 14:03:26 +01:00
FranchuFranchu
24c0c07d37
[sc-360] Update another one of the tagged lambdas
...
I had updated it incorrectly before but now it's correct.
2024-01-18 10:38:11 -03:00
FranchuFranchu
b4cd236f15
[sc-360] Update another application.
2024-01-18 10:35:28 -03:00