(* This window can be edited directly
or loaded with preset programs
using the folder menu above. *)

(fun x y -> x + y) 13;;
(fun x y -> x + y) 13 29;;

let f x y = x + y;;
f 12 30;;


type ipair =
| Paire
| Pair of int * int;;

Pair(3, 4 + 38);;

X\X;;

let p x = match x with | y -> y;;

p 4;;
p 3;;

if false then 3 else let x = 42 in x;;

new X in 3;;

let f x y = x + y;;
let g x =
3 + x;;
3 + g 4;;

let rec even n =
    if n = 0 then true
    else odd (n - 1)
and odd n =
    if n = 0 then false
    else even (n - 1);;

even 3;;
even 4;;
odd 3;;
odd 4;;
					
Version unknown.
					
					
The pretty printer is quite rought for now, and values will show in the λProlog's interpreter syntax. When type or evaluation errors happen, you may find more detailed error messages under the Log tab.
Name Type Value
  No Results