aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/ur/option.ur
Commit message (Expand)AuthorAge
* Option.appGravatar Adam Chlipala2017-02-01
* Standard library additions: Option.unsafeGet, Basis.expGravatar Austin Seipp2012-11-28
* Basis.mkMonadGravatar Adam Chlipala2011-08-19
* Checked-ness of radio options; Option.getGravatar Adam Chlipala2009-12-12
* Grid sorting workingGravatar Adam Chlipala2009-09-19
* Filters implementation type-checkingGravatar Adam Chlipala2009-09-15
* Some standard library reorgs and additions; handle mutual datatypes better in...Gravatar Adam Chlipala2009-06-09
* Fix datatype import bug in Elaborate; fix server-side source setting; more st...Gravatar Adam Chlipala2009-06-07
* Start of Option; Basis.current; fix missed cases in Jscomp.isNullableGravatar Adam Chlipala2009-06-07