Skip to content
New issue

0.2.5

Closed Sep 14, 2022 100% complete
Refactor CLI bug CLI
#1406 by jonaprieto was closed Sep 14, 2022
1
@janmasrovira
1
Refactor CLI CLI refactor
#1527 by janmasrovira was merged Sep 14, 2022 Loading…
1
@janmasrovira
1
Replace the mapsto reserved symbol by := in anonymous lambdas enhancement New feature or request
#1473 by jonaprieto was closed Sep 14, 2022
1
@janmasrovira
2
Replace -> by := in lambda syntax syntax
#1533 by janmasrovira was merged Sep 14, 2022 Loading…
1
@janmasrovira
2
JuvixCore transformation: Lambda-lifting core Related to JuvixCore enhancement New feature or request
#1477 by lukaszcz was closed Sep 12, 2022
1
@janmasrovira
Implement lambda lifting core Related to JuvixCore lifting
#1494 by janmasrovira was merged Sep 12, 2022 Loading…
1
@janmasrovira
14
Make comma a delimiter syntax
#1525 by lukaszcz was merged Sep 12, 2022 Loading…
@lukaszcz
Detect nested patterns as smaller in the termination checker fix:bug termination
#1524 by janmasrovira was merged Sep 12, 2022 Loading…
1
@janmasrovira
VSCode syntax highlighting uses different colors within the same token bug
#1464 by rokopt was closed Sep 7, 2022
1
@janmasrovira
3
Disallow tab characters as spaces syntax
#1523 by janmasrovira was merged Sep 7, 2022 Loading…
1
@janmasrovira
1
Refactor destruct in Core/Extra/Base core Related to JuvixCore refactor
#1522 by lukaszcz was merged Sep 7, 2022 Loading…
@lukaszcz
JuvixCore primitive types core Related to JuvixCore
#1521 by lukaszcz was merged Sep 7, 2022 Loading…
@lukaszcz
Back recursor types with type families core Related to JuvixCore refactor
#1514 by janmasrovira was merged Sep 6, 2022 Loading…
@janmasrovira
3
Stripped version of Core Node datatype core Related to JuvixCore
#1518 by lukaszcz was merged Sep 6, 2022 Loading…
@lukaszcz
7
Enable autocompletion for the --theme flag CLI
#1519 by janmasrovira was merged Sep 6, 2022 Loading…
@janmasrovira
1
Implement some instances for BinderList refactor
#1515 by janmasrovira was merged Sep 6, 2022 Loading…
@janmasrovira
3
Add internal core read command CLI
#1517 by janmasrovira was merged Sep 6, 2022 Loading…
@janmasrovira
2
LetRec in Core core Related to JuvixCore
#1507 by lukaszcz was merged Sep 6, 2022 Loading…
1
@lukaszcz
5
Dynamic type in Core core Related to JuvixCore
#1508 by lukaszcz was merged Sep 6, 2022 Loading…
@lukaszcz
Core/Extra/Recursors/Collector bugfix core Related to JuvixCore fix:bug
#1510 by lukaszcz was merged Sep 6, 2022 Loading…
@lukaszcz
Add Haddock and Agda licenses documentation Improvements or additions to documentation
#1506 by janmasrovira was merged Sep 6, 2022 Loading…
@janmasrovira
Eager evaluation of Constr arguments core Related to JuvixCore
#1513 by lukaszcz was merged Sep 5, 2022 Loading…
@lukaszcz
10
Fix docs webapp examples CI build CI documentation Improvements or additions to documentation
#1505 by paulcadman was merged Sep 5, 2022 Loading…
@paulcadman
Refactor Node datatype core Related to JuvixCore refactor
#1501 by lukaszcz was merged Sep 2, 2022 Loading…
@lukaszcz
12
Add an option to show name ids in errors CLI enhancement New feature or request error-messaging
#1215 by jonaprieto was closed Sep 1, 2022
1
@lukaszcz @jonaprieto
Loading