summaryrefslogtreecommitdiff
path: root/src/reduce.sml
Commit message (Expand)AuthorAge
* crud1 compiles with new ReduceGravatar Adam Chlipala2008-11-26
* Fix environments for repeat visits for exp reductionGravatar Adam Chlipala2008-11-26
* Most exp rules for new ReduceGravatar Adam Chlipala2008-11-26
* Start of new ReduceGravatar Adam Chlipala2008-11-26
* Add CutMultiGravatar Adam Chlipala2008-11-11
* Replace 'with' with '++'Gravatar Adam Chlipala2008-10-31
* EspecializeGravatar Adam Chlipala2008-10-30
* Fix nasty de Bruijn substitution bug; TcSum demoGravatar Adam Chlipala2008-10-23
* Crud supports INSERTGravatar Adam Chlipala2008-09-14
* Remove unneeded 'rec' in ReduceGravatar Adam Chlipala2008-09-13
* Unpoly non-recursive functionGravatar Adam Chlipala2008-09-11
* Compiling a con-tuple-using test caseGravatar Adam Chlipala2008-08-16
* Specialization of single-parameter datatypesGravatar Adam Chlipala2008-08-08
* Record cutGravatar Adam Chlipala2008-07-24
* MonoReduceGravatar Adam Chlipala2008-07-17
* Remove closure conversion in favor of zany fun with modules, which also repla...Gravatar Adam Chlipala2008-07-13
* Reduce efoldGravatar Adam Chlipala2008-06-26
* Cjrize cfoldGravatar Adam Chlipala2008-06-26
* Separate compilation and automatic basis importationGravatar Adam Chlipala2008-06-22
* Translation to CjrGravatar Adam Chlipala2008-06-10
* Closure conversionGravatar Adam Chlipala2008-06-10
* Reducing known record projectionsGravatar Adam Chlipala2008-06-08
* Beta reductions for expressionsGravatar Adam Chlipala2008-06-08
* Some con reducingGravatar Adam Chlipala2008-06-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 12:06:48 +0000