Nicolas Abril
7632da2ed3
Merge pull request #324 from HigherOrderCO/feature/sc-697/update-features-md-to-the-current-syntax
...
[sc-697] Update documentation to reflect the current syntax
2024-05-17 13:55:46 +02:00
Nicolas Abril
7043f93293
[sc-697] Update documentation, add use stmts, fix list parser
2024-05-17 12:54:25 +02:00
Victor Taelin
0dc824594d
make example smaller
2024-05-16 23:04:18 -03:00
Victor Taelin
f55873318b
better spacing
2024-05-16 22:13:29 -03:00
Victor Taelin
eaf37e1341
shorten bullet points
2024-05-16 22:11:59 -03:00
Victor Taelin
0279952f07
add website link
2024-05-16 22:09:00 -03:00
Victor Taelin
322793e634
host live demo on github
2024-05-16 22:06:10 -03:00
Victor Taelin
4be0fbedf8
add demo gif
2024-05-16 22:01:20 -03:00
Victor Taelin
163ea65a1b
add clarification about current u24 numbers - addresses #320
2024-05-16 20:30:57 -03:00
Victor Taelin
830f9bf20b
improve repeated word
2024-05-16 19:01:39 -03:00
Yan Mendes
f63979857b
fix HVM broken link
2024-05-16 18:45:57 -03:00
Yan Mendes
486d3a7ce6
fix example to use fork (new syntax) instead of go (old syntax)
2024-05-16 17:47:43 -03:00
Victor Taelin
66a8be1c33
simpler wording
2024-05-16 14:21:52 -03:00
Victor Taelin
bad83a7e35
link bitonic sort example on readme
2024-05-16 14:20:20 -03:00
Victor Taelin
b3983e9922
add render example on readme
2024-05-16 14:15:54 -03:00
Yan Mendes
8a832ca9b8
fix some typos and wrong linking
2024-05-16 12:55:06 -03:00
Victor Taelin
d021254f8d
reinforce a sentence
2024-05-15 22:35:09 -03:00
Victor Taelin
af27a5b7cc
shorten sentence
2024-05-15 22:33:09 -03:00
Victor Taelin
99e00949b2
fix broken link
2024-05-15 22:30:22 -03:00
Victor Taelin
35f6bd298b
further README adjustments
2024-05-15 22:29:36 -03:00
Victor Taelin
35911c72f1
reorder lines on README
2024-05-15 22:26:56 -03:00
Victor Taelin
cd2339ed82
words
2024-05-15 22:21:41 -03:00
Victor Taelin
7100d25b25
remove demo (will be post to youtube and re-added)
2024-05-15 21:38:23 -03:00
Victor Taelin
8076ef0c9b
move demo to link
2024-05-15 21:37:37 -03:00
Victor Taelin
22a278242d
add demo
2024-05-15 20:56:27 -03:00
Victor Taelin
ced540cca3
update readme
2024-05-15 20:48:16 -03:00
Victor Taelin
88aee6dcaa
add nightly flag
2024-05-15 20:40:16 -03:00
Victor Taelin
6b99c4c343
update readme, guide, and add features.md
2024-05-15 20:38:15 -03:00
Nicolas Abril
2ae73384e2
update the package name to bend-lang
2024-05-15 21:45:48 +02:00
Nicolas Abril
5b4524e4a7
Change comments to #
2024-05-15 21:26:16 +02:00
Nicolas Abril
e1dd23d96c
Update tests to use .bend extension, fix test uite
2024-05-15 00:25:46 +02:00
imaqtkatt
d7225bb0f4
Update gen commands
2024-05-14 17:03:37 -03:00
imaqtkatt
40fd223fab
Update README.md Norm mode
2024-05-14 17:03:37 -03:00
imaqtkatt
16dad088be
Update README.md
2024-05-14 17:03:37 -03:00
Xida Ren (Cedar)
ba0630b354
Fix hvm1 and hvm2 links to accomodate repo renames
...
HVM2 has been renamed HVM and HVM has been renamed HVM1. Fixed 2 places in the README.md to fix that.
2024-05-13 23:53:33 -04:00
Nicolas Abril
30d1de479e
Update README.md
2024-05-08 21:37:43 +02:00
Nicolas Abril
02e0c3ba26
[sc-630] Update the readme for Bend
2024-05-06 19:55:33 +02:00
Nicolas Abril
9db85265c4
[sc-501] Use TSPL for the parser
2024-04-10 20:33:47 +02:00
Nicolas Abril
492d00d9d4
[sc-549] Clarify that hvml is the intended hvmc IR and target for compilers
2024-04-08 16:57:34 +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
b842a70ec3
Update README.md
...
Co-authored-by: Nicolas Abril <nicolas@higherorderco.com>
2024-03-15 16:12:45 -03:00
imaqtkatt
2dabbfb44d
Add use syntax documentation
2024-03-15 16:09:37 -03:00
Nicolas Abril
3cc5a7a242
[sc-503] Refactor error passing
2024-03-12 19:26:05 +01:00
Nicolas Abril
5dc062764d
[sc-499] Add documentation on cli arguments
2024-03-07 17:19:28 +01:00
imaqtkatt
35f7a77cce
Add pattern matching documentation
2024-02-28 15:29:08 -03:00
imaqtkatt
d646ab0052
Add field bindings comment
2024-02-28 09:08:20 -03:00
imaqtkatt
a0dbd04791
Improve docs and update examples with new match syntax
2024-02-27 17:47:20 -03:00
imaqtkatt
03c6091283
Add brief documentation about match syntax
2024-02-27 17:04:36 -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
Nicolas Abril
222637ab71
[sc-443] Rename builtin constructors
2024-02-12 18:09:40 +01:00
imaqtkatt
4469ae59be
Refactor method name and add entrypoint option doc
2024-02-08 17:19:18 -03:00
imaqtkatt
f3feeb319d
Add documentation for toggleable passes
2024-01-22 11:00:15 -03:00
imaqtkatt
295fbd6688
Make list sep optional
2024-01-17 09:09:35 -03:00
imaqtkatt
b49695d52c
Add list syntax in readme
2024-01-16 16:41:02 -03:00
imaqtkatt
9499376fef
Add example of equivalence of string syntax sugar
2024-01-16 09:24:15 -03:00
imaqtkatt
3187d4edaa
Fix typo
2024-01-15 10:46:26 -03:00
imaqtkatt
cea0709b62
Update string desugar information
2024-01-15 10:45:09 -03:00
FranchuFranchu
fecfff0622
Merge branch 'master' into improve-docs
2024-01-11 15:51:11 -03:00
FranchuFranchu
1dc237f203
Add "fusing functions" tutorial.
2024-01-11 15:32:41 -03:00
imaqtkatt
f061586f77
Update old dup syntax in readme
2024-01-11 08:19:18 -03:00
imaqtkatt
bf407d00f4
Fix doc tagged lambdas
2024-01-10 17:16:25 -03:00
imaqtkatt
28e711aacd
Update tagged terms syntax in readme
2024-01-10 15:34:28 -03:00
LunaAmora
ffb87b312f
Fix Tagged Lambdas info on the readme
2024-01-10 11:09:32 -04:00
LunaAmora
dfb6892645
Remove tagged lambdas field limitation from readme
2024-01-10 11:09:32 -04:00
FranchuFranchu
5ebc6993db
Merge remote-tracking branch 'origin/feature/sc-310/make-hvml-adts-with-fields-compatible-with' into improve-docs
2024-01-10 10:51:01 -03:00
FranchuFranchu
cffbc34f76
Merge remote-tracking branch 'origin/master' into improve-docs
2024-01-10 10:47:31 -03:00
imaqtkatt
ba843a8131
Fix string doc and change string label to lowercase
2024-01-10 09:57:02 -03:00
LunaAmora
3f5372a955
Fix Tagged Lambdas info on the readme
2024-01-10 08:52:34 -04:00
LunaAmora
ee2c645cba
Remove tagged lambdas field limitation from readme
2024-01-10 08:45:08 -04:00
FranchuFranchu
6d4bc6d23d
Merge branch 'improve-docs' of https://github.com/HigherOrderCO/hvm-lang into improve-docs
2024-01-09 16:58:37 -03:00
FranchuFranchu
e457eeb95d
Tweak call/cc example. Reorder links and add book emojis to show difficulty.
2024-01-09 16:46:49 -03:00
FranchuFranchu
6fa9895735
Improve documentation and write some tutorials.
...
Add examples folder for human-readable examples.
Add docs/ folder to organize documentation.
2024-01-09 15:34:07 -03:00
imaqtkatt
c454f11766
Change desugared string information
...
Co-authored-by: Nicolas Abril <nicolas@higherorderco.com>
2024-01-09 12:51:40 -03:00
FranchuFranchu
c2e82df194
Improve documentation and write some tutorials.
...
Add examples folder for human-readable examples.
Add docs/ folder to organize documentation.
2024-01-09 09:52:38 -03:00
imaqtkatt
ece4336e29
Add string desugar information
2024-01-08 10:59:33 -03:00
imaqtkatt
c6a5fda1fd
Add string and char syntax to readme
2024-01-08 09:54:46 -03:00
imaqtkatt
af09027352
Add application syntax explanation
2024-01-08 08:32:11 -03:00
LunaAmora
05ceb41044
Update readme scopeless lambdas info
2023-12-12 10:26:58 -04:00
LunaAmora
b2adac9b5d
Add era and erased lambdas information to the readme
2023-12-12 07:29:06 -04:00
LunaAmora
17a90224e4
Add information about tags on the readme
2023-12-12 07:29:06 -04:00
LunaAmora
3b690b94ce
Add info on binary and hexadecimal numbers on the readme
2023-12-11 09:13:06 -04:00
LunaAmora
c596881683
Adjust example and readme
2023-12-11 09:13:06 -04:00
LunaAmora
a3a0f66664
Improve readme and fix typos
2023-12-11 09:13:06 -04:00
LunaAmora
afe53ce396
Add data types and patten matching to the readme
2023-12-11 09:13:06 -04:00
LunaAmora
da3de963ff
Update info on the readme
2023-12-11 09:13:06 -04:00
imaqtkatt
b3f0dd633c
Update readme and example
2023-11-21 09:55:39 -03:00
imaqtkatt
9f02d49939
Update readme
2023-11-17 17:39:22 -03:00
TheMhv
b0676d62b3
Update README.md
2023-11-15 00:03:53 -03:00
imaqtkatt
d6d0877b92
Add initial readme
2023-10-25 17:03:47 -03:00
Nicolas Abril
2820e9610f
Add example code
2023-09-06 08:37:10 +02:00
Nicolas Abril
f5149ad9fc
Add readme
2023-09-01 17:44:59 +02:00