Commit Graph

1823 Commits

Author SHA1 Message Date
Yan Mendes
a02de086a7
fix typo in index 2024-06-05 18:17:46 -03:00
Yan Mendes
d04aa4642d
enhance readability of "Click here" on README.md 2024-06-05 16:24:00 -03:00
Nicolas Abril
7805e462a4
Merge pull request #547 from Sipher/main
Update README
2024-06-05 18:59:54 +00:00
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
Nicolas Abril
76b24291e3
Merge pull request #548 from HigherOrderCO/expand-main
Expand refs in main, don't float combinators in main
2024-06-05 17:28:02 +00:00
Nicolas Abril
4bb520442a Increase the version to 0.2.33 2024-06-05 19:18:31 +02:00
Nicolas Abril
94cada901d Expand refs in main, don't float combinators in main 2024-06-05 19:02:44 +02:00
Sipher
b9b29058ab
Update README.md
Change the benchmark location
2024-06-05 13:45:25 -03:00
Sipher
51259e084b
Update README.md
Update to add features.md
2024-06-05 13:41:22 -03:00
Vitor
1d66b89db2 added guide 2024-06-05 13:34:19 -03:00
Sipher
3ca84bc653
Update GUIDE.md
change from py to sh
2024-06-05 13:32:13 -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
c97e47107d
Merge pull request #546 from HigherOrderCO/528-add-syntax-for-a-builtin-tree-type
528 Add syntax for a builtin Tree type
2024-06-05 16:02:05 +00:00
Nicolas Abril
b20a126768 Add tree syntax to syntax.md 2024-06-05 17:47:03 +02:00
Sipher
64df76db00
Update README.md
Fix Typos
2024-06-05 12:20:19 -03:00
Sipher
b68ecee29b
Update README.md 2024-06-05 12:16:02 -03:00
Nicolas Abril
2efc8fcb37
Merge pull request #454 from ematth/main
List Function Examples
2024-06-05 14:19:32 +00:00
Nicolas Abril
43f9d77968 Increase version to 0.2.32 2024-06-05 16:03:29 +02:00
Nicolas Abril
b4bf3dede2 Add Tree syntax and builtins 2024-06-05 16:00:43 +02:00
Nicolas Abril
d382c7a60e
Merge pull request #542 from HigherOrderCO/call-expand-generated-for-succ-term
Call expand_generated for succ_term
2024-06-04 19:22:18 +00:00
imaqtkatt
6be50fe8aa Bump version to 0.2.31 2024-06-04 16:19:43 -03:00
imaqtkatt
c411067a34 Apply clippy suggestions 2024-06-04 15:22:47 -03:00
imaqtkatt
bb428fa09c Call expand_generated for succ_term 2024-06-04 14:43:11 -03:00
Nicolas Abril
19d7972a4a
Merge pull request #539 from HigherOrderCO/dont-expand-recursive-generated-functions
Dont expand generated recursive definitions
2024-06-04 14:27:51 +00:00
imaqtkatt
2ff7f417fb Reimplement stack based find_cycles 2024-06-04 09:56:48 -03:00
imaqtkatt
741583c351 Bump version to 0.2.30 2024-06-04 09:11:04 -03:00
imaqtkatt
0ea135e3cb Expose recursive defs as a book method and rewrite find_cycles 2024-06-04 09:09:21 -03:00
imaqtkatt
ee4c32a68f Dont expand recursive definitions 2024-06-04 09:09:21 -03:00
imaqtkatt
3b88a7ec9c
Merge pull request #541 from HigherOrderCO/479-add-option-to-use-different-hvm-binary
Rename hvm bin option to hvm-bin, add env var with same name
2024-06-04 11:02:11 +00:00
Nicolas Abril
2d49d49adb Bump version to 0.2.29 2024-06-04 12:43:46 +02:00
Nicolas Abril
ce4f6c7067 Rename hvm bin option to hvm-bin, add env var with same name 2024-06-03 17:26:39 +02:00
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
evanmm3
2140f7a3a7 insta test/review completed 2024-05-31 09:09:01 -05:00
evanmm3
b33e857df4 remove .vscode from future commits 2024-05-31 09:03:24 -05: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
Evan M. Matthews
8d5c768fc3
Delete graphs from commit
Whoops, that's not supposed to be committed yet.
2024-05-29 15:55:12 -04:00
imaqtkatt
ad34a2165b Implement in-place mapper 2024-05-29 16:51:38 -03:00