anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-13 19:49:20 +03:00
Code Issues Projects Releases Wiki Activity
c55f04dc46
juvix/test
History
Łukasz Czajka c55f04dc46
Convert Nat literals to Core integers (#1681) 
Now it's possible to write `1 + 2` in the Juvix REPL and not get an
error.

Closes #1645.

Co-authored-by: Jonathan Cubides <jonathan.cubides@uib.no>
2023-01-03 18:52:20 +01:00
..
Arity Support basic dependencies (#1622) 2022-12-20 13:05:40 +01:00
Asm Support basic dependencies (#1622) 2022-12-20 13:05:40 +01:00
BackendC Support basic dependencies (#1622) 2022-12-20 13:05:40 +01:00
Core Support basic dependencies (#1622) 2022-12-20 13:05:40 +01:00
Internal Convert Nat literals to Core integers (#1681) 2023-01-03 18:52:20 +01:00
Parsing Support basic dependencies (#1622) 2022-12-20 13:05:40 +01:00
Reachability Support basic dependencies (#1622) 2022-12-20 13:05:40 +01:00
Runtime Support basic dependencies (#1622) 2022-12-20 13:05:40 +01:00
Scope Support basic dependencies (#1622) 2022-12-20 13:05:40 +01:00
Termination Change syntax for ind. data types and forbid the empty data type (#1684) 2023-01-03 13:49:04 +01:00
Typecheck Support basic dependencies (#1622) 2022-12-20 13:05:40 +01: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
BackendC.hs Support partial application and closure passing in C backend (#190) 2022-06-28 10:25:43 +02:00
Base.hs Support basic dependencies (#1622) 2022-12-20 13:05:40 +01:00
Core.hs Add internal core read command (#1517) 2022-09-06 15:26:48 +02:00
Internal.hs Add translation from Internal to Core (#1567) 2022-11-07 14:47:56 +01:00
Main.hs Add translation from Internal to Core (#1567) 2022-11-07 14:47:56 +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