open
import
Agda.Builtin.Nat
test
:
Nat
test
=
1
+
2
{-#
COMPILE
AGDA2LAMBOX
test
#-}
Debug
λ☐
Rocq
↪
WASM
C
OCaml
CakeML
Rust
Elm
↪
↪