Commit Graph

1984 Commits

Author SHA1 Message Date
Timotej Fašiang
0d941513f9
Update operation table for 0.2.34
Add <= and >= operators to the operation table in native-numbers.md to reflect the changes made in 0.2.34
2024-06-06 23:47:07 +02:00
Matt Headley
ba12022015
Run correct file in sum example 2024-06-06 16:34:04 -04:00
Nicolas Abril
d5847178df
Merge pull request #553 from HigherOrderCO/466-print-lambdas-with-pattern-binds-as-lets
#466 Print lambdas with pattern binds as lets
2024-06-06 15:38:36 +00:00
imaqtkatt
be7248638d Display lambda bind patterns as lets 2024-06-06 11:35:47 -03:00
Nicolas Abril
2bb1a8a7be
Merge pull request #552 from HigherOrderCO/fix-readme-sum-xample
Fix sum example in README
2024-06-06 13:08:14 +00:00
Nicolas Abril
6b6c59caeb
Fix sum example in README 2024-06-06 15:05:38 +02:00
Nicolas Abril
94678b61fe
Merge pull request #550 from HigherOrderCO/451-add-le-and-ge-operators
#451 Add <= and >= operators
2024-06-05 21:38:11 +00:00
imaqtkatt
eaa221d50a Adjust cspell 2024-06-05 18:18:50 -03:00
Yan Mendes
a02de086a7
fix typo in index 2024-06-05 18:17:46 -03:00
imaqtkatt
67760ee3b0 Update docs and bump version to 0.2.34 2024-06-05 18:15:56 -03:00
imaqtkatt
2be44a29e3 Adjust function name 2024-06-05 18:08:23 -03:00
imaqtkatt
3a62e01d86 Implement le and ge operators 2024-06-05 17:44:05 -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