datatype list t = Nil | Cons of t * list t
table t : {A : int}
fun main () : transaction page =
let
fun rows () =
query (SELECT * FROM t)
(fn r ls => return (Cons (r.T.A, ls)))
Nil
fun show ls =
case ls of
Nil =>
| Cons (x, ls') => {[x]} {show ls'}
in
s <- source Nil;
return