summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
Commit message (Expand)AuthorAge
* Folder generation for functorsGravatar Adam Chlipala2009-02-24
* Folder generation for functionsGravatar Adam Chlipala2009-02-24
* 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
* Debug reverse-engineering unificationGravatar Adam Chlipala2009-02-21
* "Hello world" compiles, after replacing type-level fold with mapGravatar Adam Chlipala2009-02-21
* Initial experiments with nested <dyn>Gravatar Adam Chlipala2009-01-13
* 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