comparison lib/ur/listPair.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 1c2f335297b7
children 5c30eea7aa78
comparison
equal deleted inserted replaced
1830:d636d33fd8a2 1831:36428d853c97