(* 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 |