summaryrefslogtreecommitdiff
path: root/demo/hello.urs
blob: 8cfe27afa8169af0394cddcf336dce79c653ad9b (plain)
1
val main : unit -> transaction (page [])