graph
- RPC returning a default datatype2009-03-08, by Adam Chlipala
- RPC returning an option datatype2009-03-08, by Adam Chlipala
- RPC returning an enumeration2009-03-08, by Adam Chlipala
- Kind-polymorphic [fst] and friends2009-02-26, by Adam Chlipala
- Coq README2009-02-26, by Adam Chlipala
- Coq formalization uses TDisjoint2009-02-24, by Adam Chlipala
- Folder generation for functors2009-02-24, by Adam Chlipala
- Folder generation for functions2009-02-24, by Adam Chlipala
- Demos compile again, with manual folders2009-02-24, by Adam Chlipala
- Make folders abstract2009-02-24, by Adam Chlipala
- Top.Fold.mp2009-02-24, by Adam Chlipala
- Top.Fold.concat elaborates2009-02-24, by Adam Chlipala
- Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses2009-02-24, by Adam Chlipala
- demo/sum working with manual folders2009-02-22, by Adam Chlipala
- demo/hello compiles with kind polymorphism2009-02-22, by Adam Chlipala
- Turned off termination checking, for now2009-02-22, by Adam Chlipala
- Kind polymorphism through Explify2009-02-22, by Adam Chlipala
- Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top2009-02-22, by Adam Chlipala
- Debug reverse-engineering unification2009-02-21, by Adam Chlipala
- "Hello world" compiles, after replacing type-level fold with map2009-02-21, by Adam Chlipala
- Finish semantics for Featherweight Ur2009-02-21, by Adam Chlipala
- Time to start thinking about guards2009-02-21, by Adam Chlipala
- Most of expression semantics2009-02-21, by Adam Chlipala
- map-only syntax and semantics2009-02-21, by Adam Chlipala
- Semantics for ordered rows only2009-02-18, by Adam Chlipala
- Start of Featherweight Ur semantics2009-02-17, by Adam Chlipala
- Parameterized RPC query2009-02-15, by Adam Chlipala
- Initial parsing of RPC results2009-02-15, by Adam Chlipala
- Detect AJAX call failures2009-02-15, by Adam Chlipala
- Avoid extra slashes in Cjr urlification2009-02-15, by Adam Chlipala
- Reading and displaying value via AJAX2009-02-15, by Adam Chlipala
- First gimpy RPC2009-02-15, by Adam Chlipala
- Export RPC functions and push RPC calls through to Mono2009-02-15, by Adam Chlipala
- Start of RPCification2009-02-14, by Adam Chlipala
- Use normal fields of ctextboxes2009-01-27, by Adam Chlipala
- dlist2 working swimmingly2009-01-17, by Adam Chlipala
- Add dynamic content under proper parents2009-01-17, by Adam Chlipala
- dlist example working2009-01-16, by Adam Chlipala
- Combine lib* directories2009-01-13, by Adam Chlipala
- Initial experiments with nested <dyn>2009-01-13, by Adam Chlipala
- Do proper insertion of dynamic content within nested DOM containers2009-01-11, by Adam Chlipala
- Use header to set default script type2009-01-11, by Adam Chlipala
- Hooking a source into an input2009-01-11, by Adam Chlipala
- Injected a non-special-case datatype2009-01-08, by Adam Chlipala
- Injected a polymorphic, recursive type2009-01-08, by Adam Chlipala
- Injected an enumeration2009-01-08, by Adam Chlipala
- Injected an option2009-01-02, by Adam Chlipala
- Injected a record2009-01-02, by Adam Chlipala
- Injecting strings and bools2009-01-01, by Adam Chlipala
- Injecting a float2009-01-01, by Adam Chlipala
- Injecting an int2009-01-01, by Adam Chlipala
- Included a recursive function in JavaScript2009-01-01, by Adam Chlipala
- Basic datatype reactives2009-01-01, by Adam Chlipala
- Reactive if2009-01-01, by Adam Chlipala
- Reactive bool2009-01-01, by Adam Chlipala
- Reactive record pattern2009-01-01, by Adam Chlipala
- Used an option as a source2009-01-01, by Adam Chlipala
- Reactive computation with more base types and records2009-01-01, by Adam Chlipala
- Source containing an int2009-01-01, by Adam Chlipala
- Double-bind works2008-12-30, by Adam Chlipala
- Propagating a change through a bind2008-12-30, by Adam Chlipala
- Propagated a source change into a dynamic document element2008-12-30, by Adam Chlipala
- Harmonized source-setting between server and client2008-12-30, by Adam Chlipala
- Setting a source server-side2008-12-30, by Adam Chlipala
- Merge2008-12-30, by Adam Chlipala
- Starting to implement source set2008-12-30, by Adam Chlipala
- Trivial use of a source2008-12-21, by Adam Chlipala
- More manual bug reports from megacz2008-12-24, by Adam Chlipala
- Handling singnal bind2008-12-21, by Adam Chlipala
- Switch to using dyn() function in JavaScript2008-12-21, by Adam Chlipala
- Typo report from megacz2008-12-20, by Adam Chlipala
- Successfully generated a page element from a signal2008-12-20, by Adam Chlipala
- Initial <dyn> support2008-12-20, by Adam Chlipala
- Start of JsComp2008-12-20, by Adam Chlipala
- Displayed an alert dialog2008-12-19, by Adam Chlipala
- Creation of sources in server code2008-12-19, by Adam Chlipala
- Monad type class seems to be working2008-12-19, by Adam Chlipala
- Initial conversion to arbitrary-kind classes2008-12-19, by Adam Chlipala
- Add initial C support for reactive2008-12-19, by Adam Chlipala
- Prepare to release2008-12-09, by Adam Chlipala
- Spell check2008-12-09, by Adam Chlipala
- Add SQL arithmetic operators2008-12-09, by Adam Chlipala
- Proofreading pass2008-12-09, by Adam Chlipala
- Building an application2008-12-09, by Adam Chlipala
- .urp files2008-12-09, by Adam Chlipala
- Installation2008-12-09, by Adam Chlipala
- Intro2008-12-07, by Adam Chlipala
- The structure of web applications2008-12-07, by Adam Chlipala
- Compiler phases2008-12-07, by Adam Chlipala
- XML syntax2008-12-07, by Adam Chlipala
- DML2008-12-07, by Adam Chlipala
- Query syntax2008-12-07, by Adam Chlipala
- Treat user-provided error messages as XML2008-12-07, by Adam Chlipala
- 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
- Get threadedBlog to work2008-11-11, by Adam Chlipala
- Remove some allocation2008-11-09, by Adam Chlipala
- Prevent overzealous Especialization2008-11-09, by Adam Chlipala
- Defunctionalization gets CommentBlog working2008-11-09, by Adam Chlipala
- Remove an extra line2008-11-09, by Adam Chlipala
- Especialize working reasonably well; need to add new closure representation pass2008-11-09, by Adam Chlipala
- Better detection of [let] substitution opportunities2008-11-08, by Adam Chlipala
- Especialize handles records better2008-11-08, by Adam Chlipala
- Broaden set of possible especializations2008-11-08, by Adam Chlipala
- Some small changes while failing to write [restrict]2008-11-08, by Adam Chlipala
- Add help text for generated web servers2008-11-08, by Adam Chlipala
- Handle EError returning a function; handle multiple cookies in one input header2008-11-08, by Adam Chlipala
- Fix parsing of last input header2008-11-08, by Adam Chlipala
- [getCookie] reads cookie settings from current page generation2008-11-08, by Adam Chlipala
- Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files2008-11-08, by Adam Chlipala
- Generated web servers use getopt()2008-11-08, by Adam Chlipala
- Tree demo working (and other assorted regressions fixed)2008-11-06, by Adam Chlipala
- Tree demo works2008-11-06, by Adam Chlipala
- About to begin optimization of recursive transaction functions2008-11-06, by Adam Chlipala
- Ensql'ing nullables2008-11-06, by Adam Chlipala
- Inserted a NULL value2008-11-06, by Adam Chlipala
- Cookies work across pages2008-11-06, by Adam Chlipala
- Cookie prose; fix bugs that broke demo compilation2008-11-06, by Adam Chlipala
- Cookie demo code; fix error message display2008-11-06, by Adam Chlipala
- Reading cookies works2008-11-06, by Adam Chlipala
- Setting a cookie2008-11-06, by Adam Chlipala
- Cookies through shake22008-11-06, by Adam Chlipala
- Cookies through explify2008-11-06, by Adam Chlipala
- Cookies through elaborate2008-11-06, by Adam Chlipala
- Avoid allocating strings for requestHeader2008-11-06, by Adam Chlipala
- Request header reading works2008-11-06, by Adam Chlipala
- Monoizing FFI transactions correctly2008-11-06, by Adam Chlipala
- Nested demo2008-11-04, by Adam Chlipala
- Nested save compiles2008-11-01, by Adam Chlipala
- Almost have that nested save function compiling2008-11-01, by Adam Chlipala
- Fix some type-class detection2008-11-01, by Adam Chlipala
- Remove empty writes2008-11-01, by Adam Chlipala
- Wrapping works in Blog2008-11-01, by Adam Chlipala
- Explify 'let'2008-11-01, by Adam Chlipala
- First Unnest tests working2008-11-01, by Adam Chlipala
- Elaborating 'let'2008-11-01, by Adam Chlipala
- Parsing 'let'2008-11-01, by Adam Chlipala
- Replace 'with' with '++'2008-10-31, by Adam Chlipala
- Remove _espec tag; add some tag fields2008-10-30, by Adam Chlipala
- Especialize2008-10-30, by Adam Chlipala
- Don't inline case expressions2008-10-30, by Adam Chlipala
- CURRENT_TIMESTAMP2008-10-30, by Adam Chlipala
- Time MIN/MAX2008-10-30, by Adam Chlipala
- Marshaling time to SQL2008-10-30, by Adam Chlipala
- Reading timestamps from SQL2008-10-30, by Adam Chlipala
- Add time to some type classes2008-10-30, by Adam Chlipala
- time type2008-10-30, by Adam Chlipala
- GCCARGS configure option2008-10-28, by Adam Chlipala
- Remove need for '() <-' notation2008-10-27, by Adam Chlipala
- Switch exit(1) call to uw_error()2008-10-27, by Adam Chlipala
- Avoid using libpq when unneeded2008-10-26, by Adam Chlipala
- Change 'sed' invocation to work in OSX2008-10-25, by Adam Chlipala
- mkdir -p BIN2008-10-25, by Adam Chlipala
- Use configure --prefix2008-10-25, by Adam Chlipala
- Make *_w function prototypes match header file2008-10-24, by adamc
- Add 'package' make target; add LICENSE2008-10-24, by Adam Chlipala
- Remove debug print for optional inputs2008-10-24, by Adam Chlipala
- Properly freeing libpq results on errors2008-10-24, by Adam Chlipala
- Transactions seem to be working2008-10-24, by Adam Chlipala
- Stop including functors in paths2008-10-24, by Adam Chlipala
- Crud2 demo2008-10-23, by Adam Chlipala
- Crud demo2008-10-23, by Adam Chlipala
- Prose for Ref and Metaform2008-10-23, by Adam Chlipala
- Fix bug with bringing functor argument instances into scope; Ref demo, minus prose2008-10-23, by Adam Chlipala
- Metaform demos, minus prose2008-10-23, by Adam Chlipala
- Fix nasty de Bruijn substitution bug; TcSum demo2008-10-23, by Adam Chlipala
- Counter demo2008-10-23, by Adam Chlipala
- Add newline at end of file2008-10-23, by adamc
- sml-util -> urweb-util2008-10-23, by Adam Chlipala
- Sum prose2008-10-21, by Adam Chlipala
- Infering sum rows2008-10-21, by Adam Chlipala
- Sum demo, minus inference of {Unit}s2008-10-21, by Adam Chlipala
- Sql demo2008-10-21, by Adam Chlipala
- Note about demo.sql2008-10-21, by Adam Chlipala
- ListShop prose2008-10-21, by Adam Chlipala
- Rec demo2008-10-21, by Adam Chlipala
- Form example2008-10-21, by Adam Chlipala
- Hello prose2008-10-21, by Adam Chlipala
- Intro prose2008-10-21, by Adam Chlipala
- New implicit argument handling2008-10-21, by Adam Chlipala
- Recursive unurlify for Default datatypes2008-10-21, by Adam Chlipala
- Remove printing of HTTP headers2008-10-21, by Adam Chlipala
- Fix a nasty driver bug, involving memory restarts and marked-up request strings2008-10-21, by Adam Chlipala
- listFun uses length2008-10-21, by Adam Chlipala
- Simple listShop working2008-10-21, by Adam Chlipala
- ListShop skeleton2008-10-21, by Adam Chlipala
- Fix XML indenting to ignore comparison operators2008-10-21, by Adam Chlipala
- ord_string2008-10-21, by Adam Chlipala
- ord_float and ord_bool2008-10-21, by Adam Chlipala
- Fix XML detection in presence of comparison operators2008-10-21, by Adam Chlipala
- gt, ge2008-10-21, by Adam Chlipala
- lt, le working for int2008-10-21, by Adam Chlipala
- num_float2008-10-21, by Adam Chlipala
- num working for int2008-10-21, by Adam Chlipala
- Monoize eq_[bool|string]2008-10-21, by Adam Chlipala
- Binops; equality tested on int; lame 404 substitute2008-10-21, by Adam Chlipala
- Fix a nasty indent bug, found while working on listFun2008-10-19, by Adam Chlipala
- Support for URL prefixes that works with local demo2008-10-19, by Adam Chlipala
- Building combined demo app2008-10-19, by Adam Chlipala
- Small demo prettifications2008-10-19, by Adam Chlipala
- Generating fontified source files2008-10-19, by Adam Chlipala
- Generating urp HTML2008-10-19, by Adam Chlipala
- Demo HTML generation, minus source code2008-10-19, by Adam Chlipala
- Link demo2008-10-19, by Adam Chlipala
- Proper configuration and installation2008-10-19, by Adam Chlipala
- Proper generation of relation names; checking that sequences exist2008-10-19, by Adam Chlipala
- Simple generation of persistent paths2008-10-19, by Adam Chlipala
- Fixing overzealous SQL paren-nester2008-10-16, by Adam Chlipala
- Indenting paren-nested SQL expressions2008-10-16, by Adam Chlipala
- Indenting simple DML properly2008-10-16, by Adam Chlipala
- Indenting SELECT sub-clauses properly2008-10-16, by Adam Chlipala
- Crud auto-indented correctly2008-10-16, by Adam Chlipala
- Fix problem with sig/struct indenting2008-10-16, by Adam Chlipala
- Crud indented properly, except for <xml>...</xml> outside parens and sig/struct2008-10-16, by Adam Chlipala
- Removed handling of <,> as operators, for now2008-10-16, by Adam Chlipala
- Improving indentation of XML after antiquote2008-10-16, by Adam Chlipala
- Proper indenting of normal ML-y code after </xml>2008-10-16, by Adam Chlipala
- Special case indenting for <xml>...</xml>2008-10-16, by Adam Chlipala
- Fix XML indent not to take two tab-tries2008-10-16, by Adam Chlipala
- Reasonable indenting for pure XML2008-10-16, by Adam Chlipala
- Reusable column handlers for Crud2008-10-14, by Adam Chlipala
- lform -> form2008-10-14, by Adam Chlipala
- Syntax highlighting for embedded XML2008-10-14, by Adam Chlipala
- Reorder font-lock rules to deal better with CDATA2008-10-13, by Adam Chlipala
- Good progress on highlighting embedded XML2008-10-12, by Adam Chlipala
- Highlighting HTML tags2008-10-12, by Adam Chlipala
- Basis and Top syntax-highlight, indent, parse, and type-check2008-10-12, by Adam Chlipala
- top.urs indents and type-checks with new twiddle syntax2008-10-12, by Adam Chlipala
- Basis indents and type-checks with new twiddle syntax2008-10-12, by Adam Chlipala
- More indenting2008-10-12, by Adam Chlipala
- Get type definitions font-locking again2008-10-12, by Adam Chlipala
- Customized font faces2008-10-12, by Adam Chlipala
- First sort-of-working run of urweb-mode2008-10-12, by Adam Chlipala
- Expand cases where expression wildcards are allowed2008-10-04, by Adam Chlipala
- Improved inference of records of tuples2008-10-04, by Adam Chlipala
- Use checkbox in CRUD example2008-10-04, by Adam Chlipala
- Small clean-ups in crud; Compiler.check2008-10-04, by Adam Chlipala
- Merge CDisjoint and TDisjoint2008-10-04, by Adam Chlipala
- Force existence of bin and clib directories2008-09-18, by Adam Chlipala
- Fix inexhaustive match2008-09-14, by Adam Chlipala
- Crud completed2008-09-14, by Adam Chlipala
- Crud update form2008-09-14, by Adam Chlipala
- Push writes inside lets2008-09-14, by Adam Chlipala
- Crud supports INSERT2008-09-14, by Adam Chlipala
- SQL sequences2008-09-14, by Adam Chlipala
- Deletion for Crud2008-09-13, by Adam Chlipala
- Crud gets column headings2008-09-13, by Adam Chlipala
- Name disjointness check changed to case insensitive2008-09-13, by Adam Chlipala
- queryX2008-09-13, by Adam Chlipala
- Change prefix.cm to work with latest smlnj Debian package2008-09-13, by Adam Chlipala
- foldTRX22008-09-13, by Adam Chlipala
- Optimize immediate writes of query results2008-09-13, by Adam Chlipala
- Remove unneeded 'rec' in Reduce2008-09-13, by Adam Chlipala
- foldTR22008-09-13, by Adam Chlipala
- Fixed a mind-numbing De Bruijn bug2008-09-11, by Adam Chlipala
- Fix bug in subsignature check for con synonyms2008-09-11, by Adam Chlipala
- Crud list works2008-09-11, by Adam Chlipala
- Crud listing IDs2008-09-11, by Adam Chlipala
- More opportunities to use regions and lack of string copying2008-09-11, by Adam Chlipala
- Region memory allocation for query parameters2008-09-11, by Adam Chlipala
- Improve detection of opportunities for prepared statements with bool parameters2008-09-11, by Adam Chlipala
- Fix memory management bug2008-09-11, by Adam Chlipala
- Expand scope of base type conversion coalesce optimizations2008-09-11, by Adam Chlipala
- Improve linear-let optimization2008-09-11, by Adam Chlipala
- Optimization removes linear let-bindings of impure expressions2008-09-11, by Adam Chlipala
- Fix memory bounds checks; specialization of multi-argument polymorphic function works2008-09-11, by Adam Chlipala
- Unpolyed a polymorphic function of two arguments2008-09-11, by Adam Chlipala
- Unpoly non-recursive function2008-09-11, by Adam Chlipala
- Termination checking allows anything in links and actions2008-09-09, by Adam Chlipala
- Termination checking2008-09-09, by Adam Chlipala
- Datatype positivity check2008-09-09, by Adam Chlipala
- Rename 'lw' prefixes to 'uw'2008-09-07, by Adam Chlipala
- Automatically add table annotations in UPDATE and DELETE2008-09-07, by Adam Chlipala
- First DELETE works2008-09-07, by Adam Chlipala
- First UPDATE works2008-09-07, by Adam Chlipala
- First INSERT works2008-09-07, by Adam Chlipala
- Scratch that change....2008-09-07, by Adam Chlipala
- Remove need to mention table name in expressions for UPDATE and DELETE2008-09-07, by Adam Chlipala
- Parsing DELETE2008-09-07, by Adam Chlipala
- Parsing UPDATE2008-09-07, by Adam Chlipala
- Parsing INSERT2008-09-07, by Adam Chlipala
- Elaborated 'delete'2008-09-07, by Adam Chlipala
- Elaborated 'update'2008-09-07, by Adam Chlipala
- Elaborated 'insert'2008-09-07, by Adam Chlipala
- Remove unneeded type annotations in pquery2008-09-07, by Adam Chlipala
- pquery working with all four types of columns2008-09-07, by Adam Chlipala
- Reading bools from SQL2008-09-07, by Adam Chlipala
- Reading ints and floats from SQL2008-09-07, by Adam Chlipala
- Error-parsing strings2008-09-07, by Adam Chlipala
- Error-parsing floats and bools2008-09-07, by Adam Chlipala
- Error-parsing ints2008-09-07, by Adam Chlipala
- 'read' for strings2008-09-07, by Adam Chlipala
- 'read' type class2008-09-07, by Adam Chlipala
- Parsing strings for floats and bools2008-09-07, by Adam Chlipala
- Converting string to int2008-09-07, by Adam Chlipala
- Ask GCC to strip executables2008-09-07, by Adam Chlipala
- 'show' type class; htmlification optimizations2008-09-07, by Adam Chlipala
- toString for float and bool2008-09-07, by Adam Chlipala
- intToString2008-09-07, by Adam Chlipala
- 'error' function2008-09-07, by Adam Chlipala
- Ran a prepared statement with one string parameter2008-09-07, by Adam Chlipala
- Change sqlify[int|float|string] to annotate with SQL types2008-09-04, by Adam Chlipala
- Compiling a parametrized query the inefficient way2008-09-02, by Adam Chlipala
- Update MLton main file2008-09-02, by Adam Chlipala
- First query example working2008-09-02, by Adam Chlipala
- First query execution (not retrieving results yet)2008-09-02, by Adam Chlipala
- Switch base types to 64-bit versions2008-09-02, by Adam Chlipala
- Validating schema of a live database2008-09-02, by Adam Chlipala
- Generating SQL files2008-09-02, by Adam Chlipala
- Table declarations pushed to Cjr2008-09-02, by Adam Chlipala
- Initializing database connection2008-09-02, by Adam Chlipala
- 'database' declaration threaded through compiler2008-09-02, by Adam Chlipala
- Parsing jobs2008-09-02, by Adam Chlipala
- Cjrize query2008-09-02, by Adam Chlipala
- Monoize ASC/DESC2008-08-31, by Adam Chlipala
- Changed EQuery not to use a function in its body2008-08-31, by Adam Chlipala
- Monoize aggregates2008-08-31, by Adam Chlipala
- Monoize COUNT(*)2008-08-31, by Adam Chlipala
- Monoize unops2008-08-31, by Adam Chlipala
- Monoize OFFSET2008-08-31, by Adam Chlipala
- Monoize LIMIT2008-08-31, by Adam Chlipala
- Monoize ORDER BY2008-08-31, by Adam Chlipala
- Monoize relops2008-08-31, by Adam Chlipala
- Monoize HAVING2008-08-31, by Adam Chlipala
- Avoid unnecessary WHERE clause2008-08-31, by Adam Chlipala
- Add 'ne' to 'eq' type class2008-08-31, by Adam Chlipala
- 'eq' type class2008-08-31, by Adam Chlipala
- Monoized GROUP BY2008-08-31, by Adam Chlipala
- Monoized binary operators2008-08-31, by Adam Chlipala
- Monoized a WHERE clause with a comparison2008-08-31, by Adam Chlipala
- Monoized and optimized initial query test2008-08-31, by Adam Chlipala
- Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type2008-08-31, by Adam Chlipala
- Fix Core con comparison2008-08-31, by Adam Chlipala
- Corify transaction wrappers2008-08-31, by Adam Chlipala
- Fix shaking of tables2008-08-31, by Adam Chlipala
- Corify tables2008-08-31, by Adam Chlipala
- Explify tables2008-08-31, by Adam Chlipala
- Rename lacweb.c2008-08-31, by Adam Chlipala
- Laconic -> Ur2008-08-31, by Adam Chlipala
- Transactions and queries, at source level2008-08-28, by Adam Chlipala
- Shorthand for multi-binding exp declaration2008-08-28, by Adam Chlipala
- Shorthand for multi-binding exp 'fn'2008-08-28, by Adam Chlipala
- Shorthand for multi-binding con declaration2008-08-28, by Adam Chlipala
- Shorthand for multi-binding con 'fn'2008-08-28, by Adam Chlipala
- Checking for well-formed 'val rec'2008-08-28, by Adam Chlipala
- Tested aggregate functions with GROUP BY2008-08-28, by Adam Chlipala
- More aggregate functions2008-08-28, by Adam Chlipala
- COUNT2008-08-28, by Adam Chlipala
- SELECTed expressions in ORDER BY2008-08-28, by Adam Chlipala
- SELECTing arbitrary expressions2008-08-28, by Adam Chlipala
- OFFSET2008-08-21, by Adam Chlipala
- LIMIT2008-08-21, by Adam Chlipala
- ORDER BY2008-08-21, by Adam Chlipala
- Relational operators; string literals for SQL2008-08-21, by Adam Chlipala
- Resolving lingering type class constraints2008-08-21, by Adam Chlipala
- GROUP BY and HAVING2008-08-21, by Adam Chlipala
- Basic GROUP BY2008-08-21, by Adam Chlipala
- Change [sql_field] type to get 'where' test to check again2008-08-21, by Adam Chlipala
- GROUP BY added to query type, with trivial parsing, for now2008-08-21, by Adam Chlipala
- Queries back to working as well as before, after start of refactoring to support grouping2008-08-21, by Adam Chlipala
- Integer and float constants in SQL2008-08-16, by Adam Chlipala
- Fields in SQL expressions2008-08-16, by Adam Chlipala
- SQL boolean operators2008-08-16, by Adam Chlipala
- SQL comparison operators2008-08-16, by Adam Chlipala
- Signature ascription for type classes2008-08-16, by Adam Chlipala
- Fun with type classes and modules2008-08-16, by Adam Chlipala
- Looking up in a type class from a module2008-08-16, by Adam Chlipala
- Compiling a con-tuple-using test case2008-08-16, by Adam Chlipala
- Corifying con-tuples2008-08-16, by Adam Chlipala
- Explifying type classes2008-08-16, by Adam Chlipala
- Testing type-class-parameterized functions2008-08-16, by Adam Chlipala
- Initial type class support2008-08-16, by Adam Chlipala
- Inferring sql_type's2008-08-16, by Adam Chlipala
- Stub WHERE support2008-08-16, by Adam Chlipala
- -timing option for command-line compiler2008-08-16, by Adam Chlipala
- Non-star SELECT2008-08-14, by Adam Chlipala
- Remove extraneous disjointness goal2008-08-14, by Adam Chlipala
- Elaborating 'SELECT *' queries2008-08-14, by Adam Chlipala
- Parsing the simplest SQL query2008-08-14, by Adam Chlipala
- Parsing and elaborating 'table'2008-08-14, by Adam Chlipala
- Finish moving all phases to the new interface2008-08-12, by Adam Chlipala
- Consolidating compiler phase interface and adding timing2008-08-12, by Adam Chlipala
- Urlifying records2008-08-09, by Adam Chlipala
- strings get 'Option' datatype handling; fix datatype unurlifying2008-08-09, by Adam Chlipala
- 'Option' datatype encoding2008-08-09, by Adam Chlipala
- Re-consistent-ify naming of union members2008-08-09, by Adam Chlipala
- Lists all the way through2008-08-09, by Adam Chlipala
- Tuples syntactic sugar2008-08-09, by Adam Chlipala
- A multi-parameter datatype all the way through2008-08-09, by Adam Chlipala
- Specialization of single-parameter datatypes2008-08-08, by Adam Chlipala
- Parametrized datatypes through corify2008-08-08, by Adam Chlipala
- Parametrized datatypes through explify2008-08-08, by Adam Chlipala
- Checkboxes2008-08-07, by Adam Chlipala
- Update bool to follow datatype representation change2008-08-03, by Adam Chlipala
- Datatype representation optimization2008-08-03, by Adam Chlipala
- Mono_opt for urlifying bools2008-08-03, by Adam Chlipala
- bool in Basis2008-08-03, by Adam Chlipala
- FFI datatypes2008-08-03, by Adam Chlipala
- Push write inside case2008-08-03, by Adam Chlipala
- Optimizing 'case' in Mono_reduce2008-08-03, by Adam Chlipala
- Compiled pattern matching to C2008-08-03, by Adam Chlipala
- Cjrize ECon2008-08-03, by Adam Chlipala
- Cjrize EStrcat2008-08-03, by Adam Chlipala
- Cases through monoize2008-08-03, by Adam Chlipala
- First part of getting cases through monoize2008-08-03, by Adam Chlipala
- Case through corify2008-08-02, by Adam Chlipala
- Case through explify2008-07-31, by Adam Chlipala
- Elaborating record patterns2008-07-31, by Adam Chlipala
- Elaborating module constructor patterns; parsing record patterns2008-07-31, by Adam Chlipala
- Patterns for int and string constants2008-07-31, by Adam Chlipala
- Pattern match coverage checking2008-07-31, by Adam Chlipala
- Elaborating some basic pattern matching2008-07-31, by Adam Chlipala
- Parsing basic patterns2008-07-29, by Adam Chlipala
- Took more advantage of new ability to exit with an error message2008-07-29, by Adam Chlipala
- Storing datatype constructors in type references past monoize2008-07-29, by Adam Chlipala
- Unurlifying a datatype; longjmp-based error signaling mechanism2008-07-29, by Adam Chlipala
- Start of unurlify for datatypes2008-07-29, by Adam Chlipala
- Datatypes through cjrize, modulo decoding2008-07-29, by Adam Chlipala
- Datatypes through monoize2008-07-29, by Adam Chlipala
- Datatypes through corify2008-07-29, by Adam Chlipala
- Add datatype import constructor annotations; datatypes through explify2008-07-29, by Adam Chlipala
- Normalize datatype choice during SgiDatatypeImp elaboration2008-07-24, by Adam Chlipala
- Datatype import signature-matches abstract datatype2008-07-24, by Adam Chlipala
- Abstracting datatypes with signature ascription2008-07-24, by Adam Chlipala
- More datatype module stuff2008-07-24, by Adam Chlipala
- Basic datatype importing works2008-07-24, by Adam Chlipala
- Start of datatype support2008-07-24, by Adam Chlipala
- Password inputs2008-07-24, by Adam Chlipala
- HTML select2008-07-24, by Adam Chlipala
- radio and radioOption2008-07-24, by Adam Chlipala
- textarea2008-07-24, by Adam Chlipala
- gformText test2008-07-24, by Adam Chlipala
- Full gform test works2008-07-24, by Adam Chlipala
- Record cut2008-07-24, by Adam Chlipala
- gform in proper order2008-07-22, by Adam Chlipala
- Meta-programming forms2008-07-22, by Adam Chlipala
- Fix opening and corifying of functors2008-07-22, by Adam Chlipala
- Fix GET parsing for inputs without =2008-07-22, by Adam Chlipala
- Simple forms work2008-07-22, by Adam Chlipala
- Almost ready to have a form work2008-07-20, by Adam Chlipala
- Form submission type-checking2008-07-20, by Adam Chlipala
- Initial form support2008-07-20, by Adam Chlipala
- A simpler context encoding2008-07-20, by Adam Chlipala
- Form binding parameters threaded through2008-07-20, by Adam Chlipala
- Change driver to use Pthreads2008-07-19, by Adam Chlipala
- Replaced allocation stubs2008-07-17, by Adam Chlipala
- Dynamic arena allocation2008-07-17, by Adam Chlipala
- Proper escaping of cdata2008-07-17, by Adam Chlipala
- MonoShake2008-07-17, by Adam Chlipala
- MonoReduce2008-07-17, by Adam Chlipala
- Proper topological sorting in untangle2008-07-17, by Adam Chlipala
- Untangle2008-07-17, by Adam Chlipala
- Compiled mutual 'val rec'2008-07-17, by Adam Chlipala
- Compiled (non-mutual) 'val rec'2008-07-17, by Adam Chlipala
- Monoizing (non-mutual) 'val rec'2008-07-17, by Adam Chlipala
- Reducing (non-mutual) 'val rec'2008-07-17, by Adam Chlipala
- Tagging (non-mutual) 'val rec'2008-07-17, by Adam Chlipala
- Corifying (non-mutual) 'val rec'2008-07-17, by Adam Chlipala
- Explifying (non-mutual) 'val rec'2008-07-17, by Adam Chlipala
- Parsing and elaborating (non-mutual) 'val rec'2008-07-17, by Adam Chlipala
- Three-argument web function test2008-07-13, by Adam Chlipala
- Multiple arguments to web functions2008-07-13, by Adam Chlipala
- Passing an argument to a web function2008-07-13, by Adam Chlipala
- Proper handling of non-function-call links2008-07-13, by Adam Chlipala
- Serving pages with links2008-07-13, by Adam Chlipala
- Serving pages2008-07-13, by Adam Chlipala
- Basic web server2008-07-13, by Adam Chlipala
- Cjr ready for dispatch code generation2008-07-13, by Adam Chlipala
- Print a message on Laconic compilation failure2008-07-13, by Adam Chlipala
- Turn on gcc -O32008-07-13, by Adam Chlipala
- Handling duplicate tags2008-07-13, by Adam Chlipala
- Closure code generation almost there2008-07-13, by Adam Chlipala
- Starting with closure links2008-07-13, by Adam Chlipala
- Remove closure conversion in favor of zany fun with modules, which also replaces 'page'2008-07-13, by Adam Chlipala
- Fix dependency graph mismatch in sources2008-07-10, by Adam Chlipala
- Optimizing attrification of constants2008-07-10, by Adam Chlipala
- More with attributes and efficient serialization2008-07-10, by Adam Chlipala
- Stringifying attributes2008-07-10, by Adam Chlipala
- Initial HTML attributes support2008-07-10, by Adam Chlipala
- Command-line compiler goes the whole nine yards2008-07-10, by Adam Chlipala
- Writing HTML2008-07-10, by Adam Chlipala
- First executable generated2008-07-10, by Adam Chlipala
- page declaration, up through monoize2008-07-10, by Adam Chlipala
- Fix record type comparison2008-07-10, by Adam Chlipala
- Fill in more types during closure conversion2008-07-10, by Adam Chlipala
- Simplify HTML examples, until the dispatching is ready2008-07-03, by Adam Chlipala
- Mono optimizations (start with string concat and space eating)2008-07-03, by Adam Chlipala
- Monoizing joins and tags2008-07-03, by Adam Chlipala
- Monoizing cdata2008-07-03, by Adam Chlipala
- More fun with HTML2008-07-03, by Adam Chlipala
- XML tags with contents2008-07-03, by Adam Chlipala
- Basic XML stuff2008-07-03, by Adam Chlipala
- Fancier head normalization pushed inside of Disjoint2008-07-03, by Adam Chlipala
- Tested constraints through functors2008-07-01, by Adam Chlipala
- Constraints in modules2008-07-01, by Adam Chlipala
- Push KUnit and CUnit through the phases2008-07-01, by Adam Chlipala
- More with disjointness assumptions2008-07-01, by Adam Chlipala
- Disjointness assumptions in expressions2008-07-01, by Adam Chlipala
- Disjointness assumptions2008-07-01, by Adam Chlipala
- Threading disjointness conditions through Elaborate2008-07-01, by Adam Chlipala
- Initial disjointness prover2008-07-01, by Adam Chlipala
- Factor some operations into ElabOps2008-07-01, by Adam Chlipala
- A little more conservative unification2008-06-29, by Adam Chlipala
- More hardcore unification2008-06-29, by Adam Chlipala
- Implicit structure members2008-06-29, by Adam Chlipala
- Another test of broad unification2008-06-29, by Adam Chlipala
- Broaden unification context2008-06-29, by Adam Chlipala
- Folding through a functor2008-06-26, by Adam Chlipala
- Reduce efold2008-06-26, by Adam Chlipala
- Corify efold2008-06-26, by Adam Chlipala
- Explify efold2008-06-26, by Adam Chlipala
- Elaborate efold2008-06-26, by Adam Chlipala
- Cjrize cfold2008-06-26, by Adam Chlipala
- Corify cfold2008-06-26, by Adam Chlipala
- Explify cfold2008-06-26, by Adam Chlipala
- Elaborating cfold2008-06-26, by Adam Chlipala
- Proper subsignaturing for sub-structures2008-06-26, by Adam Chlipala
- Proper subsignaturing for sub-signatures2008-06-26, by Adam Chlipala
- Proper hiding of shadowed bindings in principal signatures2008-06-26, by Adam Chlipala
- Signature duplicate entry checking for principal signatures2008-06-22, by Adam Chlipala
- Signature duplicate entry checking2008-06-22, by Adam Chlipala
- open2008-06-22, by Adam Chlipala
- Subsignatures example2008-06-22, by Adam Chlipala
- Subsignatures2008-06-22, by Adam Chlipala
- include2008-06-22, by Adam Chlipala
- Update main.mlton for group compilation2008-06-22, by Adam Chlipala
- Separate compilation and automatic basis importation2008-06-22, by Adam Chlipala
- Parsing signature files2008-06-22, by Adam Chlipala
- Lexer/parser hacks to share code between regular and signature file parsers2008-06-22, by Adam Chlipala
- FFI through cjrize2008-06-22, by Adam Chlipala
- FFI through cloconv2008-06-22, by Adam Chlipala
- FFI through monoize2008-06-22, by Adam Chlipala
- Better FFI function handling2008-06-22, by Adam Chlipala
- Detecting FFI functions2008-06-22, by Adam Chlipala
- Start of FFI2008-06-22, by Adam Chlipala
- Give functor.lac a 'main'2008-06-19, by Adam Chlipala
- Corifying functors2008-06-19, by Adam Chlipala
- Explifying functors2008-06-19, by Adam Chlipala
- Elaborating functor applications2008-06-19, by Adam Chlipala
- Subtyping for functor signatures2008-06-19, by Adam Chlipala
- Elaborating 'where'2008-06-19, by Adam Chlipala
- Beginning of functor elaboration2008-06-19, by Adam Chlipala
- Functor parsing2008-06-19, by Adam Chlipala
- Corify removes modules2008-06-19, by Adam Chlipala
- Explify2008-06-19, by Adam Chlipala
- Beefier nested selfification test2008-06-17, by Adam Chlipala
- Nested selfification test2008-06-17, by Adam Chlipala
- Proper selfification2008-06-17, by Adam Chlipala
- Elaborating module projection2008-06-17, by Adam Chlipala
- Matching structures in signatures2008-06-12, by Adam Chlipala
- Matching values in signatures2008-06-12, by Adam Chlipala
- Simple signature matching2008-06-12, by Adam Chlipala
- Parsing and printing basic module system2008-06-12, by Adam Chlipala
- Translation to Cjr2008-06-10, by Adam Chlipala
- Field sorting for Flat2008-06-10, by Adam Chlipala
- Update main.mlton2008-06-10, by Adam Chlipala
- Closure conversion2008-06-10, by Adam Chlipala
- Monoize2008-06-10, by Adam Chlipala
- Run a shake before reducing2008-06-08, by Adam Chlipala
- Tree-shaking2008-06-08, by Adam Chlipala
- Reducing known record projections2008-06-08, by Adam Chlipala
- Beta reductions for expressions2008-06-08, by Adam Chlipala
- Some con reducing2008-06-08, by Adam Chlipala
- Testing constructor equivalences2008-06-08, by Adam Chlipala
- Unification wildcards2008-06-08, by Adam Chlipala
- Further experiments with implicit arguments2008-06-08, by Adam Chlipala
- Conversion to Core2008-06-08, by Adam Chlipala
- Implicit constructor arguments2008-06-08, by Adam Chlipala
- Primitive type constants2008-06-08, by Adam Chlipala
- Lifting cons in ElabEnv2008-06-08, by Adam Chlipala
- Fun with records2008-03-28, by Adam Chlipala
- Simple elaboration working2008-03-28, by Adam Chlipala
- Start of elaborating expressions2008-03-28, by Adam Chlipala
- Added simple expression constructors to Elab2008-01-26, by Adam Chlipala
- Parsing basic expressions2008-01-26, by Adam Chlipala
- Add type keyword2008-01-26, by Adam Chlipala
- Check for leftover kind unifs2008-01-26, by Adam Chlipala
- Elaborating files2008-01-26, by Adam Chlipala
- Rename Laconic* modules to Source*2008-01-26, by Adam Chlipala
- Elaborating cons and decls2008-01-26, by Adam Chlipala
- Start of elaboration2008-01-26, by Adam Chlipala
- Initial parsing and pretty-printing2008-01-26, by Adam Chlipala
- Initial skeleton2008-01-26, by Adam Chlipala