Nicolas Abril
|
f3be26b2c8
|
#634 Don't eta-reduce by default for cuda (#705)
|
2024-09-04 20:26:46 +00:00 |
|
imaqtkatt
|
3073285e36
|
Call desugar_use before linearize matches
|
2024-06-17 11:40:55 -03:00 |
|
Nicolas Abril
|
d6bdde548e
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
|
Nicolas Abril
|
94cada901d
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
|
imaqtkatt
|
b74c3e2693
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
|
Nicolas Abril
|
01a3337d49
|
Use the HVM AST instead of an internal one
|
2024-05-25 19:03:13 +02:00 |
|
Nicolas Abril
|
b0fd8dfb91
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
Nicolas Abril
|
3e9b3c4083
|
Adapt Bend to new hvm number operation format
|
2024-05-21 16:23:40 +02:00 |
|
Nicolas Abril
|
d62b73ce83
|
[sc-663] Update tests for rebase
|
2024-05-20 14:50:49 +02:00 |
|
Nicolas Abril
|
076415d9ab
|
Increase max net size and make the check optional
|
2024-05-19 00:29:37 +02:00 |
|