urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	List.mapMi	Adam Chlipala	2018-11-04
\|
*	List.allM	Adam Chlipala	2018-08-25
\|
*	List.findM	Adam Chlipala	2018-04-14
\|
*	List.existsM	Adam Chlipala	2018-04-14
\|
*	List.appi	Adam Chlipala	2017-01-25
\|
*	More consistent formatting for new List functions	Adam Chlipala	2016-02-26
\|
*	Return lists in their original order in span function	Alexander Abushkevich	2016-02-24
\|
*	Find longest prefix of elements, which satisfy a predicate; Group a list	Alexander Abushkevich	2016-02-23
\|
*	List.mem	Adam Chlipala	2014-12-23
\|
*	Add some name-mangling rules to allow XML attribute 'name' and attributes ↵	Adam Chlipala	2012-12-27
\| \| \| \|	with dashes
*	Some standard library additions from Edward Z. Yang	Adam Chlipala	2012-05-19
\|
*	Some new List functions, based on code by Ron de Bruijn	Adam Chlipala	2011-12-11
\|
*	Fix another list unurlification segfault bug; List.foldlMi	Adam Chlipala	2011-08-21
\|
*	List.mapXi	Adam Chlipala	2011-08-15
\|
*	List.find	Adam Chlipala	2011-07-24
\|
*	recToList	Robin Green	2011-06-27
\|
*	Allow subqueries to reference aggregate-only columns of free tables; treat ↵	Adam Chlipala	2011-01-15
\| \| \| \|	non-COUNT aggregate functions as possibly returning NULL
*	Fiddly tweaks	Adam Chlipala	2010-12-16
\|
*	Fix a bug in C list unurlification	Adam Chlipala	2010-11-21
\|
*	queryL1 and List.sort	Adam Chlipala	2010-11-20
\|
*	List.mapi	Adam Chlipala	2010-06-13
\|
*	Subquery expressions	Adam Chlipala	2010-03-25
\|
*	Eta-expand bodies of transaction functions in Monoization, to enable later ↵	Adam Chlipala	2009-12-31
\| \| \| \|	optimization
*	Represent FFI function names as strings, to deal with cross-file recursion	Adam Chlipala	2009-12-05
\|
*	Versioned1 demo working	Adam Chlipala	2009-10-06
\|
*	dragList almost kinda works	Adam Chlipala	2009-09-08
\|
*	Convert to requiring explicit 'rpc' marker	Adam Chlipala	2009-08-22
\|
*	Fix a variable capture bug in nested JavaScript; some more list stuff	Adam Chlipala	2009-06-16
\|
*	Some standard library reorgs and additions; handle mutual datatypes better ↵	Adam Chlipala	2009-06-09
\| \| \| \|	in Specialize
*	Mark current as effectful; add List functions	Adam Chlipala	2009-06-09
\|
*	Fix datatype import bug in Elaborate; fix server-side source setting; more ↵	Adam Chlipala	2009-06-07
\| \| \| \|	standard library stuff
*	List.all; fix ANDALSO/ORELSE parsing precedence	Adam Chlipala	2009-06-07
\|
*	Fix unbound name problem in Jscomp injectors; more List stuff	Adam Chlipala	2009-06-06
\|
*	List library additions; fix another substructure unification bug	Adam Chlipala	2009-06-06
\|
*	Defer pattern-matching exhaustiveness checks and normalize pattern types ↵	Adam Chlipala	2009-05-30
\| \| \| \|	more thoroughly
*	Fix EDLet elab_util bug	Adam Chlipala	2009-05-28
\|
*	fn-pattern code in but not tested yet; hello compiles	Adam Chlipala	2009-05-28
\|
*	Chars and more string operations	Adam Chlipala	2009-05-26
\|
*	Change List.mapM' to avoid leaving functions around	Adam Chlipala	2009-05-21
\|
*	Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering	Adam Chlipala	2009-05-14
\|
*	Fix a nasty binding bug in CoreUtil	Adam Chlipala	2009-05-14
\|
*	Improving/reordering Unpoly and Especialize; pathmaps	Adam Chlipala	2009-05-14