From 08a8c694b1fba3421782ebd727b213064663dcc7 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Mon, 4 Dec 2023 23:36:30 +0100 Subject: [PATCH] a usage in hello.quox. why not --- examples/hello.quox | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/examples/hello.quox b/examples/hello.quox index 8e5dbf9..db220cf 100644 --- a/examples/hello.quox +++ b/examples/hello.quox @@ -21,4 +21,6 @@ postulate print : String → IO Unit load "nat.quox" #[main] -def main = seq (print-ℕ (nat.plus 60 9)) (print "(nice)") +def main : IO Unit = + let1 sixty-nine = nat.plus 60 9 in + seq (print-ℕ sixty-nine) (print "(nice)")