summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
Commit message (Collapse)AuthorAge
* Monad type class seems to be workingGravatar Adam Chlipala2008-12-19
|
* Initial conversion to arbitrary-kind classesGravatar Adam Chlipala2008-12-19
|
* Remove some isUnitCon casesGravatar Adam Chlipala2008-11-27
|
* Remove unnecessary lifts in ElabEnv.pushCRelGravatar Adam Chlipala2008-11-27
|
* Remove unnecessary [kindof] callsGravatar Adam Chlipala2008-11-27
|
* Add CutMultiGravatar Adam Chlipala2008-11-11
|
* Especialize handles records betterGravatar Adam Chlipala2008-11-08
|
* Some small changes while failing to write [restrict]Gravatar Adam Chlipala2008-11-08
|
* Tree demo working (and other assorted regressions fixed)Gravatar Adam Chlipala2008-11-06
|
* About to begin optimization of recursive transaction functionsGravatar Adam Chlipala2008-11-06
|
* Inserted a NULL valueGravatar Adam Chlipala2008-11-06
|
* Cookies through explifyGravatar Adam Chlipala2008-11-06
|
* Cookies through elaborateGravatar Adam Chlipala2008-11-06
|
* Fix some type-class detectionGravatar Adam Chlipala2008-11-01
|
* Elaborating 'let'Gravatar Adam Chlipala2008-11-01
|
* Replace 'with' with '++'Gravatar Adam Chlipala2008-10-31
|
* Sum proseGravatar Adam Chlipala2008-10-21
|
* Infering sum rowsGravatar Adam Chlipala2008-10-21
|
* Sum demo, minus inference of {Unit}sGravatar Adam Chlipala2008-10-21
|
* New implicit argument handlingGravatar Adam Chlipala2008-10-21
|
* Recursive unurlify for Default datatypesGravatar Adam Chlipala2008-10-21
|
* ListShop skeletonGravatar Adam Chlipala2008-10-21
|
* Reusable column handlers for CrudGravatar Adam Chlipala2008-10-14
|
* Expand cases where expression wildcards are allowedGravatar Adam Chlipala2008-10-04
|
* Improved inference of records of tuplesGravatar Adam Chlipala2008-10-04
|
* Merge CDisjoint and TDisjointGravatar Adam Chlipala2008-10-04
|
* Crud update formGravatar Adam Chlipala2008-09-14
|
* Crud supports INSERTGravatar Adam Chlipala2008-09-14
|
* SQL sequencesGravatar Adam Chlipala2008-09-14
|
* queryXGravatar Adam Chlipala2008-09-13
|
* foldTR2Gravatar Adam Chlipala2008-09-13
|
* Fixed a mind-numbing De Bruijn bugGravatar Adam Chlipala2008-09-11
|
* Fix bug in subsignature check for con synonymsGravatar Adam Chlipala2008-09-11
|
* Crud list worksGravatar Adam Chlipala2008-09-11
|
* Crud listing IDsGravatar Adam Chlipala2008-09-11
|
* Datatype positivity checkGravatar Adam Chlipala2008-09-09
|
* intToStringGravatar Adam Chlipala2008-09-07
|
* Compiling a parametrized query the inefficient wayGravatar Adam Chlipala2008-09-02
|
* 'database' declaration threaded through compilerGravatar Adam Chlipala2008-09-02
|
* 'eq' type classGravatar Adam Chlipala2008-08-31
|
* Monoized GROUP BYGravatar Adam Chlipala2008-08-31
|
* Corify transaction wrappersGravatar Adam Chlipala2008-08-31
|
* Transactions and queries, at source levelGravatar Adam Chlipala2008-08-28
|
* Checking for well-formed 'val rec'Gravatar Adam Chlipala2008-08-28
|
* SELECTing arbitrary expressionsGravatar Adam Chlipala2008-08-28
|
* Resolving lingering type class constraintsGravatar Adam Chlipala2008-08-21
|
* Queries back to working as well as before, after start of refactoring to ↵Gravatar Adam Chlipala2008-08-21
| | | | support grouping
* SQL boolean operatorsGravatar Adam Chlipala2008-08-16
|
* Signature ascription for type classesGravatar Adam Chlipala2008-08-16
|
* Fun with type classes and modulesGravatar Adam Chlipala2008-08-16
|