graph
- XML2008-12-07, by Adam Chlipala
- Sequences2008-12-07, by Adam Chlipala
- DML2008-12-07, by Adam Chlipala
- Finish documenting queries; remove a stray [unit] argument2008-12-07, by Adam Chlipala
- Start of sql_exp2008-12-07, by Adam Chlipala
- Start of Ur/Web library2008-12-06, by Adam Chlipala
- Type inference2008-12-06, by Adam Chlipala
- Module projection2008-11-29, by Adam Chlipala
- selfify2008-11-29, by Adam Chlipala
- Module typing2008-11-29, by Adam Chlipala
- Signature compatibility2008-11-29, by Adam Chlipala
- Signature compatibility2008-11-29, by Adam Chlipala
- Declaration typing2008-11-29, by Adam Chlipala
- Pattern typing2008-11-29, by Adam Chlipala
- Typing2008-11-29, by Adam Chlipala
- Definitional equality2008-11-29, by Adam Chlipala
- Disjointness2008-11-29, by Adam Chlipala
- Kinding2008-11-29, by Adam Chlipala
- Shorthands2008-11-27, by Adam Chlipala
- Declarations and modules2008-11-27, by Adam Chlipala
- Expressions2008-11-27, by Adam Chlipala
- Patterns2008-11-27, by Adam Chlipala
- Signatures2008-11-27, by Adam Chlipala
- Start of manual2008-11-27, by Adam Chlipala
- Note optimizations in changelog2008-11-27, by Adam Chlipala
- Avoid Especializing polymorphic code2008-11-27, by Adam Chlipala
- Ditch use of ElabEnv.env in Especialize, to realize big speed-up2008-11-27, by Adam Chlipala
- Untangle and shake within Especialize loop2008-11-27, by Adam Chlipala
- Optimize CoreUntangle2008-11-27, by Adam Chlipala
- Remove some isUnitCon cases2008-11-27, by Adam Chlipala
- Catch another unneeded lift in ElabEnv.pushCRel2008-11-27, by Adam Chlipala
- Optimized ElabOps.subConInCon2008-11-27, by Adam Chlipala
- Stop using redundant Defunc pass2008-11-27, by Adam Chlipala
- Remove unnecessary lifts in ElabEnv.pushCRel2008-11-27, by Adam Chlipala
- Remove unnecessary [kindof] calls2008-11-27, by Adam Chlipala
- Port Reduce improvements to ReduceLocal2008-11-26, by Adam Chlipala
- crud1 compiles with new Reduce2008-11-26, by Adam Chlipala
- Fix environments for repeat visits for exp reduction2008-11-26, by Adam Chlipala
- Most exp rules for new Reduce2008-11-26, by Adam Chlipala
- Start of new Reduce2008-11-26, by Adam Chlipala
- Profiling in Makefile2008-11-25, by Adam Chlipala
- Fusing writes with recursive function calls2008-11-25, by Adam Chlipala
- Ignore SIGPIPE2008-11-23, by Adam Chlipala
- Update CHANGELOG for 200811202008-11-20, by Adam Chlipala
- Fixing demo prose2008-11-20, by Adam Chlipala
- Profiling support2008-11-20, by Adam Chlipala
- Some demo improvements2008-11-20, by Adam Chlipala
- Fix missing initial <html> after restarts2008-11-20, by Adam Chlipala
- Update Crud demo to use local functions2008-11-20, by Adam Chlipala
- Extend prose about server .exes2008-11-18, by Adam Chlipala
- Tag CHANGELOG with release number2008-11-18, by Adam Chlipala
- Mention Especialize in CHANGELOG2008-11-18, by Adam Chlipala
- Fix type calculation for applying-a-case optimization2008-11-11, by Adam Chlipala
- Map distributivity rule in hnormCon2008-11-11, by Adam Chlipala
- Add CutMulti2008-11-11, by Adam Chlipala
- Handle nullary transaction pages; avoid marking up headers array when reading cookies2008-11-11, by Adam Chlipala
- Fix demo regression2008-11-11, by Adam Chlipala
- More ThreadedBlog progress2008-11-11, by Adam Chlipala
- Ignore UseRel effects in [let] expansions2008-11-11, by Adam Chlipala
- Get preliminary ThreadedBlog working2008-11-11, by Adam Chlipala