annotate demo/tcSum.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 e0e9e9eca1cb
children
rev   line source
adamc@417 1 val main : unit -> transaction page