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