..
out
Iterator syntax ( #2126 )
2023-05-30 15:30:11 +02:00
test001.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test002.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test003.juvix
Allow nested block comments ( #2075 )
2023-05-15 09:57:23 +02:00
test004.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test005.juvix
New compilation pipeline ( #1832 )
2023-03-14 16:24:07 +01:00
test006.juvix
Lazy boolean operators ( #1743 )
2023-01-25 18:57:47 +01:00
test007.juvix
Pipes for lambda clauses ( #1781 )
2023-01-30 12:06:18 +01:00
test008.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test009.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test010.juvix
Remove braces from let expressions ( #1790 )
2023-02-01 19:22:43 +01:00
test011.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test012.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test013.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test014.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test015.juvix
Remove braces from let expressions ( #1790 )
2023-02-01 19:22:43 +01:00
test016.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test017.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test018.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test019.juvix
Fix inference loop ( #1726 )
2023-01-17 13:28:38 +01:00
test020.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test021.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test022.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test023.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test024.juvix
Allow shadowing local variables with let function definitions ( #1847 )
2023-02-22 10:26:54 +01:00
test025.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test026.juvix
Add compilation of complex pattern matching to case ( #1824 )
2023-02-15 11:30:12 +01:00
test027.juvix
Add builtin integer type to the surface language ( #1948 )
2023-04-13 08:16:49 +01:00
test028.juvix
Update standard library for better readability, efficiency and iterator use ( #2153 )
2023-06-01 18:21:03 +02:00
test029.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test030.juvix
Add bank example ( #2037 )
2023-04-27 10:56:31 +02:00
test031.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test032.juvix
Add compilation of complex pattern matching to case ( #1824 )
2023-02-15 11:30:12 +01:00
test033.juvix
Tests for the new compilation pipeline ( #1703 )
2023-01-12 11:22:32 +01:00
test034.juvix
Remove braces from let expressions ( #1790 )
2023-02-01 19:22:43 +01:00
test035.juvix
New compilation pipeline ( #1832 )
2023-03-14 16:24:07 +01:00
test036.juvix
New compilation pipeline ( #1832 )
2023-03-14 16:24:07 +01:00
test037.juvix
Pattern matching compilation ( #1874 )
2023-03-27 10:42:27 +02:00
test038.juvix
Add compilation of complex pattern matching to case ( #1824 )
2023-02-15 11:30:12 +01:00
test039.juvix
Automatically detect and split mutually recursive blocks in let expressions ( #1894 )
2023-03-17 11:05:55 +00:00
test040.juvix
internal-to-core: Fix index shifting of pattern arguments ( #1900 )
2023-03-18 00:30:51 +01:00
test041.juvix
Fix registration of builtin inductive axioms ( #1901 )
2023-03-20 10:00:22 +00:00
test042.juvix
Fix JuvixAsm validation ( #1903 )
2023-03-20 12:01:35 +00:00
test043.juvix
Add: the 'seq' builtin (>>>) ( #1982 )
2023-04-14 19:24:58 +02:00
test044.juvix
Fix bug in IO runtime ( #1906 )
2023-03-21 14:34:46 +00:00
test045.juvix
Add syntax keyword ( #2107 )
2023-05-22 12:50:07 +02:00
test046.juvix
Fix removal of polymorphic type arguments ( #1954 )
2023-03-30 19:56:07 +02:00
test047.juvix
Support local modules ( #1872 )
2023-03-31 14:57:37 +01:00
test048.juvix
Print quoted strings in the runtime ( #1969 )
2023-04-04 10:29:02 +01:00
test049.juvix
Add builtin integer type to the surface language ( #1948 )
2023-04-13 08:16:49 +01:00
test050.juvix
Add builtin integer type to the surface language ( #1948 )
2023-04-13 08:16:49 +01:00
test051.juvix
Substitute calls after lambda lifting ( #2031 )
2023-04-26 12:56:44 +02:00
test052.juvix
Add syntax keyword ( #2107 )
2023-05-22 12:50:07 +02:00
test053.juvix
Inlining ( #2036 )
2023-05-15 17:27:05 +02:00
test054.juvix
Update standard library for better readability, efficiency and iterator use ( #2153 )
2023-06-01 18:21:03 +02:00
e0689801cf