annotate demo/sum.urs @ 1831:36428d853c97

Standard library additions: Option.unsafeGet, Basis.exp
author Austin Seipp <mad.one@gmail.com>
date Wed, 28 Nov 2012 11:41:54 -0500
parents 06fcddcd20d3
children
rev   line source
adamc@411 1 val main : unit -> transaction page