juvix/test006.juvix at 68b4b38f980127f899b7d12b050075895de1b66f - juvix - gitea: Gitea Service

anoma/juvix

mirror of https://github.com/anoma/juvix.git synced 2024-12-12 14:28:08 +03:00

Łukasz Czajka 43d114f9b1

Adapt Juvix programs to the new pipeline (#1746 )

Progress for #1742 

* Remove putStr and putStrLn
* Remove named Nats (one, two, ...)

2023-01-23 14:57:01 +01:00

17 lines

234 B

Plaintext

Raw Blame History

 module test006;
 open import Stdlib.Prelude;
 open import Stdlib.Data.Nat.Ord;
 terminating
 loop : Nat;
 loop := loop;
 e : Nat;
 e := (if (3 > 0) 1 loop) + (if (2 < 1) loop (if (7 >= 8) loop 1));
 main : IO;
 main := printNatLn e;
 end;