anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-11-30 05:42:26 +03:00
Code Issues Projects Releases Wiki Activity
eb0922a244
juvix/tests
History
Jan Mas Rovira eb0922a244
Add do notation (#2937) 
- Closes #2355
- Depends on #2943 

Example:
```
minusOne : Nat -> Maybe Nat
  | zero := nothing
  | (suc n) := just n;


minusThree (n : Nat) : Maybe Nat :=
  do {
    x1 <- minusOne n;
    x2 <- minusOne x1;
    let
      x2' : Nat := x2;
    in
    x3 <- minusOne x2';
    pure x3;
  };
```
2024-08-21 12:01:44 +02:00
..
Anoma/Compilation Add anoma-bytearray-{to, from}-anoma-contents builtins (#2960) 2024-08-19 11:19:26 +02:00
Asm Remove copy propagation from the native/WASM and Rust pipelines (#2846) 2024-06-20 12:44:15 +02:00
benchmark Merge if -> ite renaming from stdlib (#2869) 2024-07-02 10:03:06 +02:00
Casm Improve specialization optimization (#2944) 2024-08-14 10:04:30 +02:00
Compilation Add do notation (#2937) 2024-08-21 12:01:44 +02:00
Core Fix inference of let and letrec in core (#2953) 2024-08-14 15:15:49 +01:00
examplesExpected Add a test suite for milestone examples (#1920) 2023-03-24 13:16:26 +00:00
Internal Migrate old named application syntax (#2876) 2024-07-12 18:31:09 +02:00
negative Migrate old named application syntax (#2876) 2024-07-12 18:31:09 +02:00
nockma/positive Fix bugs in the Nockma prettyprinter and parser (#2632) 2024-02-09 14:59:42 +01:00
positive Isabelle/HOL translation: the isabelle-ignore pragma (#2955) 2024-08-19 12:22:10 +02:00
Reg/positive Copy propagation in JuvixReg (#2828) 2024-06-18 21:38:02 +02:00
runtime/positive Add an if instruction to JuvixReg (#2855) 2024-06-26 19:08:33 +02:00
Rust/Compilation/positive Improve specialization optimization (#2944) 2024-08-14 10:04:30 +02:00
smoke Release 0.6.5 (#2956) 2024-08-14 17:48:36 +01:00
Tree Add builtin ByteArray type (#2933) 2024-08-13 11:13:27 +01:00
VampIR Merge if -> ite renaming from stdlib (#2869) 2024-07-02 10:03:06 +02:00
WithoutPackageFile Fix #2510 (#2512) 2023-11-17 16:10:38 +01:00
.gitattributes Juvix C runtime (#1580) 2022-11-03 09:38:09 +01:00