aboutsummaryrefslogtreecommitdiffhomepage
path: root/demo/counter.urs
blob: 6ac44e0bc88ab247d8447435fd514140018988a4 (plain)
1
val main : unit -> transaction page