This website requires JavaScript.
Explore
Help
Sign In
anoma
/
juvix
Watch
1
Star
1
Fork
0
You've already forked juvix
mirror of
https://github.com/anoma/juvix.git
synced
2025-01-07 16:22:14 +03:00
Code
Issues
Projects
Releases
Wiki
Activity
ef4ddaf4dc
juvix
/
tests
/
positive
/
MiniC
/
MultiModules
History
janmasrovira
8e1a4dc8b6
Give a proper type to literal natural numbers (
#1453
)
2022-08-12 17:31:15 +02:00
..
Data
Give a proper type to literal natural numbers (
#1453
)
2022-08-12 17:31:15 +02:00
expected.golden
Support multiple modules in compilation (
#100
)
2022-05-13 11:44:06 +02:00
Input.juvix
Rename MiniJuvix to Juvix (
#259
)
2022-07-08 13:59:45 +02:00
juvix.yaml
Rename MiniJuvix to Juvix (
#259
)
2022-07-08 13:59:45 +02:00
Prelude.juvix
Rename MiniJuvix to Juvix (
#259
)
2022-07-08 13:59:45 +02:00