anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-14 17:32:00 +03:00
Code Issues Projects Releases Wiki Activity
d57f1a3d64
juvix/runtime
History
Łukasz Czajka 8095e52c21
Check for incomparable precedences (#2289) 
Give an error when there are two operators with incomparable precedences
instead of linearising the ordering arbitrarily.
2023-08-16 16:33:29 +02:00
..
src Check for incomparable precedences (#2289) 2023-08-16 16:33:29 +02:00
Makefile Juvix C runtime (#1580) 2022-11-03 09:38:09 +01:00
Makefile.generic Fix spurious messages from Makefile.generic (#2125) 2023-05-24 12:50:02 +02:00
PROJECT Juvix C runtime (#1580) 2022-11-03 09:38:09 +01:00