summaryrefslogtreecommitdiff
path: root/src/urweb.grm
Commit message (Expand)AuthorAge
* Paging mostly working; just need to get it working properly with filteringGravatar Adam Chlipala2009-09-19
* grid1 compiles but gets stuck in JSGravatar Adam Chlipala2009-08-25
* List.all; fix ANDALSO/ORELSE parsing precedenceGravatar Adam Chlipala2009-06-07
* && and ||Gravatar Adam Chlipala2009-06-07
* Lexing some more string escape sequences; JS versions of number read; fix pro...Gravatar Adam Chlipala2009-06-02
* Tweak -- precedence; use right env for final exhaustiveness errorsGravatar Adam Chlipala2009-06-02
* Destructing local let, to the point where demo compilesGravatar Adam Chlipala2009-05-28
* Demo compiles with pattern-matching-fuGravatar 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
* Mutual datatypes through ElaborateGravatar Adam Chlipala2009-05-16
* Improving/reordering Unpoly and Especialize; pathmapsGravatar Adam Chlipala2009-05-14
* List notationsGravatar Adam Chlipala2009-04-30
* Subforms type-checks; lists urlified and unurlifiedGravatar Adam Chlipala2009-04-30
* SubformsGravatar Adam Chlipala2009-04-28
* A view query worksGravatar Adam Chlipala2009-04-28
* RIGHT and FULL JOINGravatar Adam Chlipala2009-04-28
* LEFT JOINGravatar Adam Chlipala2009-04-28
* INNER JOINGravatar Adam Chlipala2009-04-28
* Switch to using sql_from_itemsGravatar Adam Chlipala2009-04-28
* sql_ufunc and octet_lengthGravatar Adam Chlipala2009-04-26
* <link>Gravatar Adam Chlipala2009-04-16
* Classes as optional arguments to Basis.tagGravatar Adam Chlipala2009-04-12
* Stop tracking CSS classes in XML typesGravatar Adam Chlipala2009-04-12
* hello compiles with CSSGravatar Adam Chlipala2009-04-12
* style declarationsGravatar Adam Chlipala2009-04-12
* URLsGravatar Adam Chlipala2009-04-09
* CHECK constraintsGravatar Adam Chlipala2009-04-09
* More flexible foreign keyingGravatar Adam Chlipala2009-04-09
* Made type class system very general; demo compilesGravatar Adam Chlipala2009-04-09
* Get demo type-inferring againGravatar Adam Chlipala2009-04-07
* FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingerin...Gravatar Adam Chlipala2009-04-07
* PRIMARY KEYGravatar Adam Chlipala2009-04-07
* Enhance table sig item support and get demo compiling againGravatar Adam Chlipala2009-04-07
* Track uniqueness sets in table typesGravatar Adam Chlipala2009-04-07
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07
* sleep and better ScriptcheckGravatar Adam Chlipala2009-04-04
* Type class reductions, but no inclusions yetGravatar Adam Chlipala2009-03-26
* Demos compile again, with manual foldersGravatar Adam Chlipala2009-02-24
* Top.Fold.concat elaboratesGravatar Adam Chlipala2009-02-24
* Switch to TDisjoint from CDisjoint; still need to implement obligation genera...Gravatar Adam Chlipala2009-02-24
* Start of kind polymorphism, up to the point where demo/hello elaborates with ...Gravatar Adam Chlipala2009-02-22
* "Hello world" compiles, after replacing type-level fold with mapGravatar Adam Chlipala2009-02-21
* Initial conversion to arbitrary-kind classesGravatar Adam Chlipala2008-12-19
* Add SQL arithmetic operatorsGravatar Adam Chlipala2008-12-09
* Finish documenting queries; remove a stray [unit] argumentGravatar Adam Chlipala2008-12-07
* Add CutMultiGravatar Adam Chlipala2008-11-11
* Some small changes while failing to write [restrict]Gravatar Adam Chlipala2008-11-08
* Resolve all tag named in [Basis]; deal with C compilation failure without lea...Gravatar Adam Chlipala2008-11-08
* Tree demo working (and other assorted regressions fixed)Gravatar Adam Chlipala2008-11-06