summaryrefslogtreecommitdiff
path: root/lib/ur/list.ur
Commit message (Expand)AuthorAge
* List.findMGravatar Adam Chlipala2018-04-14
* List.existsMGravatar Adam Chlipala2018-04-14
* List.appiGravatar Adam Chlipala2017-01-25
* More consistent formatting for new List functionsGravatar Adam Chlipala2016-02-26
* Return lists in their original order in span functionGravatar Alexander Abushkevich2016-02-24
* Find longest prefix of elements, which satisfy a predicate; Group a listGravatar Alexander Abushkevich2016-02-23
* List.memGravatar Adam Chlipala2014-12-23
* Add some name-mangling rules to allow XML attribute 'name' and attributes wit...Gravatar Adam Chlipala2012-12-27
* Some standard library additions from Edward Z. YangGravatar Adam Chlipala2012-05-19
* Some new List functions, based on code by Ron de BruijnGravatar Adam Chlipala2011-12-11
* Fix another list unurlification segfault bug; List.foldlMiGravatar Adam Chlipala2011-08-21
* List.mapXiGravatar Adam Chlipala2011-08-15
* List.findGravatar Adam Chlipala2011-07-24
* recToListGravatar Robin Green2011-06-27
* Allow subqueries to reference aggregate-only columns of free tables; treat no...Gravatar Adam Chlipala2011-01-15
* Fiddly tweaksGravatar Adam Chlipala2010-12-16
* Fix a bug in C list unurlificationGravatar Adam Chlipala2010-11-21
* queryL1 and List.sortGravatar Adam Chlipala2010-11-20
* List.mapiGravatar Adam Chlipala2010-06-13
* Subquery expressionsGravatar Adam Chlipala2010-03-25
* Eta-expand bodies of transaction functions in Monoization, to enable later op...Gravatar Adam Chlipala2009-12-31
* Represent FFI function names as strings, to deal with cross-file recursionGravatar Adam Chlipala2009-12-05
* Versioned1 demo workingGravatar Adam Chlipala2009-10-06
* dragList almost kinda worksGravatar Adam Chlipala2009-09-08
* Convert to requiring explicit 'rpc' markerGravatar Adam Chlipala2009-08-22
* Fix a variable capture bug in nested JavaScript; some more list stuffGravatar Adam Chlipala2009-06-16
* Some standard library reorgs and additions; handle mutual datatypes better in...Gravatar Adam Chlipala2009-06-09
* Mark current as effectful; add List functionsGravatar Adam Chlipala2009-06-09
* Fix datatype import bug in Elaborate; fix server-side source setting; more st...Gravatar Adam Chlipala2009-06-07
* List.all; fix ANDALSO/ORELSE parsing precedenceGravatar Adam Chlipala2009-06-07
* Fix unbound name problem in Jscomp injectors; more List stuffGravatar Adam Chlipala2009-06-06
* List library additions; fix another substructure unification bugGravatar Adam Chlipala2009-06-06
* Defer pattern-matching exhaustiveness checks and normalize pattern types more...Gravatar Adam Chlipala2009-05-30
* Fix EDLet elab_util bugGravatar Adam Chlipala2009-05-28
* fn-pattern code in but not tested yet; hello compilesGravatar Adam Chlipala2009-05-28
* Chars and more string operationsGravatar Adam Chlipala2009-05-26
* Change List.mapM' to avoid leaving functions aroundGravatar Adam Chlipala2009-05-21
* Proper lifting of MonoEnv stored expressions; avoidance of onchange clobberingGravatar Adam Chlipala2009-05-14
* Fix a nasty binding bug in CoreUtilGravatar Adam Chlipala2009-05-14
* Improving/reordering Unpoly and Especialize; pathmapsGravatar Adam Chlipala2009-05-14