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