urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Option.app	Adam Chlipala	2017-02-01
\|
*	Standard library additions: Option.unsafeGet, Basis.exp	Austin Seipp	2012-11-28
\|
*	Basis.mkMonad	Adam Chlipala	2011-08-19
\|
*	Checked-ness of radio options; Option.get	Adam Chlipala	2009-12-12
\|
*	Grid sorting working	Adam Chlipala	2009-09-19
\|
*	Filters implementation type-checking	Adam Chlipala	2009-09-15
\|
*	Some standard library reorgs and additions; handle mutual datatypes better ↵	Adam Chlipala	2009-06-09
\| \| \| \|	in Specialize
*	Fix datatype import bug in Elaborate; fix server-side source setting; more ↵	Adam Chlipala	2009-06-07
\| \| \| \|	standard library stuff
*	Start of Option; Basis.current; fix missed cases in Jscomp.isNullable	Adam Chlipala	2009-06-07