| .. |
|
Arity
|
Give proper errors for incorrect application of lazy builtins (#1830)
|
2023-02-10 19:21:46 +01:00 |
|
Asm
|
Fix memory count for string operations (#1924)
|
2023-03-23 19:47:51 +00:00 |
|
BackendGeb
|
New compilation pipeline (#1832)
|
2023-03-14 16:24:07 +01:00 |
|
Compilation
|
Fix bug in IO runtime (#1906)
|
2023-03-21 14:34:46 +00:00 |
|
Core
|
Fix bug in IO runtime (#1906)
|
2023-03-21 14:34:46 +00:00 |
|
Internal
|
New compilation pipeline (#1832)
|
2023-03-14 16:24:07 +01:00 |
|
Parsing
|
Keep regular comments in html output (#1766)
|
2023-01-27 13:24:28 +01:00 |
|
Reachability
|
Remove the old C backend (#1862)
|
2023-03-14 17:22:32 +01:00 |
|
Runtime
|
Improve comma formatting (#1842)
|
2023-02-14 15:27:11 +00:00 |
|
Scope
|
Remove the old C backend (#1862)
|
2023-03-14 17:22:32 +01:00 |
|
Termination
|
Fix termination with as-patterns (#1787)
|
2023-01-31 17:54:18 +01:00 |
|
Typecheck
|
Automatically detect and split mutually recursive blocks in let expressions (#1894)
|
2023-03-17 11:05:55 +00:00 |
|
Arity.hs
|
Support implicit arguments (#144)
|
2022-06-13 14:25:22 +02:00 |
|
Asm.hs
|
Translation from JuvixAsm to C (#1619)
|
2022-12-06 11:33:20 +01:00 |
|
BackendGeb.hs
|
Add Geb Backend Evaluator with some extra subcommands (#1808)
|
2023-02-22 15:27:40 +01:00 |
|
Base.hs
|
Improve comma formatting (#1842)
|
2023-02-14 15:27:11 +00:00 |
|
Compilation.hs
|
Tests for the new compilation pipeline (#1703)
|
2023-01-12 11:22:32 +01:00 |
|
Core.hs
|
The rmap recursor (#1893)
|
2023-03-16 14:47:21 +01:00 |
|
Format.hs
|
Improve comma formatting (#1842)
|
2023-02-14 15:27:11 +00:00 |
|
Internal.hs
|
Add translation from Internal to Core (#1567)
|
2022-11-07 14:47:56 +01:00 |
|
Main.hs
|
New compilation pipeline (#1832)
|
2023-03-14 16:24:07 +01:00 |
|
Parsing.hs
|
Disallow tab characters as spaces (#1523)
|
2022-09-07 13:59:41 +02:00 |
|
Reachability.hs
|
Compute name dependency graph and filter unreachable definitions (#1408)
|
2022-07-25 18:38:44 +02:00 |
|
Runtime.hs
|
Juvix C runtime (#1580)
|
2022-11-03 09:38:09 +01:00 |
|
Scope.hs
|
[ CI ] New jobs: ormolu and hlint
|
2022-04-05 19:57:21 +02:00 |
|
Termination.hs
|
Add the termination checker to the pipeline (#111)
|
2022-05-30 13:40:52 +02:00 |
|
Typecheck.hs
|
Add lambda expressions to internal and add typechecking support (#1538)
|
2022-09-23 15:43:18 +02:00 |
