..
BuiltinsMultiImport
Perform ScopedToAbstract exactly once for each module ( #223 )
2022-07-01 15:59:52 +01:00
FullExamples
Support implicit arguments ( #144 )
2022-06-13 14:25:22 +02:00
Imports
Fix highlight
command for modules with import statements ( #102 )
2022-05-13 16:17:26 +02:00
MicroJuvix
Allow holes to be refined into function types ( #165 )
2022-06-15 12:01:59 +02:00
MiniC
Embed standard library in the minijuvix binary ( #210 )
2022-06-30 11:31:08 +02:00
MiniHaskell
Fix highlight
command for modules with import statements ( #102 )
2022-05-13 16:17:26 +02:00
QualifiedConstructor
Fix highlight
command for modules with import statements ( #102 )
2022-05-13 16:17:26 +02:00
QualifiedSymbol
Fix highlight
command for modules with import statements ( #102 )
2022-05-13 16:17:26 +02:00
QualifiedSymbol2
Fix highlight
command for modules with import statements ( #102 )
2022-05-13 16:17:26 +02:00
StdlibImport
Embed standard library in the minijuvix binary ( #210 )
2022-06-30 11:31:08 +02:00
StdlibList
Fix highlight
command for modules with import statements ( #102 )
2022-05-13 16:17:26 +02:00
Termination
ignore implicit patterns and arguments in termination checking ( #172 )
2022-06-16 10:04:28 +02:00
Axiom.mjuvix
Add support for compile (by Jonathan) ( #66 )
2022-04-28 17:42:15 +02:00
Foreign.mjuvix
[parser] Remove agda backend code ( #86 )
2022-05-05 15:11:18 +01:00
HelloWorld.mjuvix
Add C code generation backend ( #68 )
2022-05-05 14:12:17 +01:00
Inductive.mjuvix
[ pre-commit ] Add support and hooks
2022-04-04 17:44:08 +02:00
Literals.mjuvix
[ pre-commit ] Add support and hooks
2022-04-04 17:44:08 +02:00
minijuvix.yaml
Fix highlight
command for modules with import statements ( #102 )
2022-05-13 16:17:26 +02:00
Operators.mjuvix
[ pre-commit ] Add support and hooks
2022-04-04 17:44:08 +02:00
Parsing.mjuvix
Fix: Identifiers with a keyword prefix cannot be parsed ( #171 )
2022-06-16 10:13:13 +02:00
Polymorphism.mjuvix
Fix: Add check for constructor return types ( #182 )
2022-06-21 17:53:35 +02:00
PolymorphismHoles.mjuvix
Fix: Add check for constructor return types ( #182 )
2022-06-21 17:53:35 +02:00
ShadowPublicOpen.mjuvix
v0.1.1 ( #15 )
2022-03-25 18:16:34 +01:00