graph
- Stop skipping Especialization of generated functions; fix Compiler.parseUrp; expose uw_really_write(); allow more NULL arguments to uw_register_transactional()2009-12-23, by Adam Chlipala
- Alternate job-parsing interface, to avoid merging library directives2009-12-22, by Adam Chlipala
- Basis.sql_nullable and Top.queryL2009-12-22, by Adam Chlipala
- Another try at reasonable Especialize, this time with a custom traversal2009-12-20, by Adam Chlipala
- Especialize uses a termination measure based on number of arguments introduced2009-12-15, by Adam Chlipala
- Fix new Especialize security bug: do not duplicate free variables as specialized arguments2009-12-15, by Adam Chlipala
- Initial generalization of Especialize, with security bug known2009-12-15, by Adam Chlipala
- Allow same constructor shorthand for 'view' sig items as for 'table'2009-12-15, by Adam Chlipala
- Convert to task syntax2009-12-15, by Adam Chlipala
- Fixing a bug in DInitializer elaboration2009-12-13, by Adam Chlipala
- Initializers and setval2009-12-13, by Adam Chlipala
- Weakening-type coercions for SQL values2009-12-13, by Adam Chlipala
- Better record summary error messages; more tweaking SQL usability2009-12-13, by Adam Chlipala
- Tweaking SQL parsing and typing2009-12-13, by Adam Chlipala
- Fix lexing of string literals in XML; treat EError as impure in MonoReduce2009-12-12, by Adam Chlipala
- Checked-ness of radio options; Option.get2009-12-12, by Adam Chlipala
- Bug fixes in redirect-related stuff2009-12-10, by Adam Chlipala
- Basis.currentUrl, plus redirect debugging2009-12-10, by Adam Chlipala
- Basis.url and redirects2009-12-10, by Adam Chlipala
- Make oneRowE1 more general2009-12-10, by Adam Chlipala
- Convert ctype is*() function results to booleans2009-12-08, by Adam Chlipala
- Shake bug fix; pattern reduction in ReduceLocal2009-12-08, by Adam Chlipala
- Context globals; ctype functions2009-12-08, by Adam Chlipala
- Fix a Shake bug that led to missing some cons2009-12-08, by Adam Chlipala
- Move to simpler HTML escaping2009-12-08, by Adam Chlipala
- Recursive hnormSgn for projections of signatures from modules2009-12-05, by Adam Chlipala
- Represent FFI function names as strings, to deal with cross-file recursion2009-12-05, by Adam Chlipala
- New release2009-12-03, by Adam Chlipala
- Merge2009-12-03, by Adam Chlipala
- UTF-8 in dynamic escaping2009-12-03, by Adam Chlipala
- Escaping UTF-8 in MonoOpt2009-12-03, by Adam Chlipala
- Fix handling of clearCookie/getCookie in same page gen2009-11-27, by Adam Chlipala
- Port rest of demo to new cookie signature; fix parsing of multiple incoming cookies2009-11-26, by Adam Chlipala
- More fun with cookies2009-11-26, by Adam Chlipala
- Fix parsing of long FastCGI lengths2009-11-26, by Adam Chlipala
- Hint about disallowed attributes2009-11-25, by Adam Chlipala
- Add 'id' attributes and <label>2009-11-25, by Adam Chlipala
- Better error message for link-handler conflicts2009-11-25, by Adam Chlipala
- Refactor compile functions; allow empty tag contents2009-11-25, by Adam Chlipala
- Exit code of 1 on compilation failure2009-11-25, by Adam Chlipala
- New release2009-11-24, by Adam Chlipala
- Explicitly abort in-flight RPCs onunload2009-11-24, by Adam Chlipala
- Proper initial values of dynamic checkboxes in IE2009-11-22, by Adam Chlipala
- Get dynamic <select> working in IE2009-11-22, by Adam Chlipala
- grid0 working in IE2009-11-22, by Adam Chlipala
- Get message-passing working in IE62009-11-21, by Adam Chlipala
- Send RPCs with POST, to avoid caching2009-11-21, by Adam Chlipala
- Deal with bizarre IE6 .innerHTML behavior (which eats some <script> tags)2009-11-21, by Adam Chlipala
- Fix for lack of 'apply' method of IE6 native functions2009-11-21, by Adam Chlipala
- Hooks for measuring how much interesting proving is going on in elaboration2009-11-17, by Adam Chlipala
- New release2009-11-08, by Adam Chlipala
- Saving paper decisions2009-11-07, by Adam Chlipala
- Decision status placeholder2009-11-02, by Adam Chlipala
- Start of Decision2009-11-02, by Adam Chlipala
- Seeing others' reviews2009-11-02, by Adam Chlipala
- Preload current assignment status2009-11-02, by Adam Chlipala
- Saving paper assignments2009-11-02, by Adam Chlipala
- Switch Monoize back to POST forms2009-11-02, by Adam Chlipala
- Initial form for paper assignment2009-11-01, by Adam Chlipala
- Optimizing str1 in MonoOpt2009-11-01, by Adam Chlipala
- Bidding interface2009-11-01, by Adam Chlipala
- Start of bidding implementation compiles2009-10-31, by Adam Chlipala
- Use call/cc for recv and sleep2009-10-25, by Adam Chlipala
- RPC uses VM support for call/cc2009-10-25, by Adam Chlipala
- Always inline records2009-10-25, by Adam Chlipala
- Extend Fuse to work on non-recursive functions2009-10-25, by Adam Chlipala
- Inlining threshold for Mono_reduce2009-10-25, by Adam Chlipala
- Inlining threshold for Reduce2009-10-25, by Adam Chlipala
- Factor Dnat into separate module2009-10-25, by Adam Chlipala
- Chars working with SQLite2009-10-22, by Adam Chlipala
- Get char working with MySQL2009-10-22, by Adam Chlipala
- Setting and updating your own review2009-10-22, by Adam Chlipala
- Initial support for char in SQL2009-10-22, by Adam Chlipala
- authorship table2009-10-22, by Adam Chlipala
- Viewing papers2009-10-22, by Adam Chlipala
- Move stuff from bulkEdit to meta2009-10-22, by Adam Chlipala
- Title and abstract2009-10-22, by Adam Chlipala
- Checking deadline; sign-in2009-10-22, by Adam Chlipala
- Saving changes to user list2009-10-20, by Adam Chlipala
- Start of user management2009-10-20, by Adam Chlipala
- Registering for Conference12009-10-20, by Adam Chlipala
- Adapted existing demos to tuple pattern-matching2009-10-20, by Adam Chlipala
- Add tuple pattern-matching at the constructor level2009-10-20, by Adam Chlipala
- Better subSgn error locations2009-10-15, by Adam Chlipala
- New release2009-10-12, by Adam Chlipala
- Fix some MySQL hijinks2009-10-12, by Adam Chlipala
- Put right date stamp in CHANGELOG2009-10-09, by Adam Chlipala
- New release2009-10-09, by Adam Chlipala
- Versioned1 demo working2009-10-06, by Adam Chlipala
- Initial versioned1 demo working2009-10-06, by Adam Chlipala
- SELECT DISTINCT; eta expansion during Cjrization2009-10-06, by Adam Chlipala
- Finalized Orm1 demo2009-10-06, by Adam Chlipala
- Initial Orm1 demo2009-10-06, by Adam Chlipala
- Fix a de Bruijn index bug in map fusion2009-10-06, by Adam Chlipala
- Orm searching2009-10-05, by Adam Chlipala
- Basic CRUD operations in Orm2009-10-05, by Adam Chlipala
- Better location calculation for record unification error messages; infer kind arguments to module-projected variables2009-10-05, by Adam Chlipala
- Mangle local table names to avoid keyword clashes in SQL2009-10-05, by Adam Chlipala
- New release2009-09-26, by Adam Chlipala
- Whitelisting tags that may be self-closed2009-09-26, by Adam Chlipala
- Add tail call optimization to interpretation2009-09-24, by Adam Chlipala
- Grid1 seems to work in latest Firefox2009-09-24, by Adam Chlipala
- Fix sel() generation bug2009-09-24, by Adam Chlipala
- demo/more compiles; small problem left with foreign keys in Grid12009-09-24, by Adam Chlipala
- Main demo pieces all seem to work with interpretation2009-09-24, by Adam Chlipala
- demo/increment works with interpretation2009-09-24, by Adam Chlipala
- Might have fixed demo/listEdit2009-09-24, by Adam Chlipala
- demo/react works with interpretation2009-09-22, by Adam Chlipala
- Quoting JavaScript working2009-09-22, by Adam Chlipala
- Compiled an 'option' pattern-match2009-09-22, by Adam Chlipala
- More interpreter debugging2009-09-22, by Adam Chlipala
- Functions working with interpretation2009-09-22, by Adam Chlipala
- Basic arithmetic working with interpretation2009-09-22, by Adam Chlipala
- Hopefully complete refactoring of Jscomp to output ASTs; partial implementation of interpreter in runtime system (demo/alert works)2009-09-22, by Adam Chlipala
- Iterative versions of some JavaScript list functions2009-09-22, by Adam Chlipala
- New release2009-09-19, by Adam Chlipala
- Plugged a JavaScript memory leak2009-09-19, by Adam Chlipala
- Paging + filtering seemingly working, but runtime system isn't GCing signals properly, so performance goes south quickly2009-09-19, by Adam Chlipala
- Progress on sorting + filtering2009-09-19, by Adam Chlipala
- Paging mostly working; just need to get it working properly with filtering2009-09-19, by Adam Chlipala
- Testing Dlist MaxLength with constant value2009-09-19, by Adam Chlipala
- Testing Dlist StartPosition with constant offset2009-09-19, by Adam Chlipala
- Grid sorting working2009-09-19, by Adam Chlipala
- Hopefully fixed Jscomp bug that was breaking Grid2009-09-19, by Adam Chlipala
- Fix C substring implementation2009-09-18, by Adam Chlipala
- Pseudo-sort working with filters2009-09-17, by Adam Chlipala
- Grid changed to use Dlist.replace; filters stopped working2009-09-17, by Adam Chlipala
- Don't try to check if functions are already tail-recursive2009-09-17, by Adam Chlipala
- tail example working2009-09-17, by Adam Chlipala
- Basic tail recursion introduction seems to be working2009-09-17, by Adam Chlipala
- Bad sort functions tested2009-09-17, by Adam Chlipala
- Insert dummy Sort parameter2009-09-17, by Adam Chlipala
- Make filter argument to render, not create2009-09-17, by Adam Chlipala
- Don't try to compile sigString() calls to JavaScript2009-09-17, by Adam Chlipala
- Disable GCC inlining to stop goofy errors2009-09-17, by Adam Chlipala
- Find more opportunities for 'let' inlining with better purity information2009-09-17, by Adam Chlipala
- Print char patterns in C2009-09-17, by Adam Chlipala
- Filters displaying properly2009-09-15, by Adam Chlipala
- Filters displaying awfully2009-09-15, by Adam Chlipala
- Filters implementation type-checking2009-09-15, by Adam Chlipala
- Fix JavaScript char literals; don't generate demo links to nonexistent files2009-09-15, by Adam Chlipala
- Escape character constants; lift indices properly in Reduce 'case' simplification2009-09-15, by Adam Chlipala
- Fixed a Mono_reduce bug, which was breaking selection enabling in Grid2009-09-15, by Adam Chlipala
- Selection working, but switching it on isn't2009-09-15, by Adam Chlipala
- Fix Postgres timestamp round-tripping2009-09-15, by Adam Chlipala
- Fix MySQL timestamp input2009-09-15, by Adam Chlipala
- Summary row with aggregates2009-09-15, by Adam Chlipala
- Include 'key' type in Grid2009-09-15, by Adam Chlipala
- Dropped in initial aggregate types2009-09-15, by Adam Chlipala
- Fix a bug in Jscomp environment calculation for EQuery; smarter embedding of record projection in JavaScript2009-09-14, by Adam Chlipala
- Fix some MySQL bugs2009-09-13, by Adam Chlipala
- Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce2009-09-13, by Adam Chlipala
- Have nullable columns working with Dbgrid2009-09-13, by Adam Chlipala
- Nullable columns *might* be working, but too much JS is generated for the page to load in finite time2009-09-12, by Adam Chlipala
- New release2009-09-12, by Adam Chlipala
- Merge2009-09-12, by Adam Chlipala
- Debugging new string urlification2009-09-12, by Adam Chlipala
- Prevent event bubbling2009-09-12, by Adam Chlipala
- Change string URLification to avoid using the empty string, which confuses Apache no2slash()2009-09-12, by Adam Chlipala
- Add grid CSS ACL2009-09-10, by Adam Chlipala
- Add grid CSS2009-09-10, by Adam Chlipala
- Find chances to use mstrcat()2009-09-09, by Adam Chlipala
- Don't replace <sc> in blob returns; optimize more 'option' pattern matches; detect more opportunities for 'let' inlining2009-09-09, by Adam Chlipala
- Fix memmem() signature; fix mono_reduce environment bookkeeping2009-09-08, by Adam Chlipala
- 'more' demos working after optimizer fix2009-09-08, by Adam Chlipala
- Use cdata for shorter Monad map2009-09-08, by Adam Chlipala
- dragList demo working, save for Gecko load delay and highlighting2009-09-08, by Adam Chlipala
- dragList almost kinda works2009-09-08, by Adam Chlipala
- Start 'more' demo with dbgrid2009-09-08, by Adam Chlipala
- New release2009-08-25, by Adam Chlipala
- Fix structure wildification to take concrete con decls into account2009-08-25, by Adam Chlipala
- Fix inconsistency in bool URLification between C and JavaScript2009-08-25, by Adam Chlipala
- Fix list jsification bug; grid1 working with foreign key, but booleans not getting into database properly2009-08-25, by Adam Chlipala
- grid1 compiles but gets stuck in JS2009-08-25, by Adam Chlipala
- Fixed bug in reduce bind-commutation2009-08-22, by Adam Chlipala
- Convert to requiring explicit 'rpc' marker2009-08-22, by Adam Chlipala
- JavaScript urlifying of bools; correct Link attribute escaping2009-08-11, by Adam Chlipala
- Be careful in Jscomp to avoid interpreting non-boolean/reference types as booleans with ?:2009-08-11, by Adam Chlipala
- Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference2009-08-09, by Adam Chlipala
- Fix type class resolution infinite loop, discovered while meeting with Ezra2009-08-06, by Adam Chlipala
- <dyn> inside <tr>2009-08-06, by Adam Chlipala
- dlist add and delete both working in Iceape and Konqueror2009-08-06, by Adam Chlipala
- dlist row add working with Konqueror2009-08-06, by Adam Chlipala
- Tweaking dyn() implementation to get grid working2009-08-06, by Adam Chlipala
- dtable example and demos both working2009-08-06, by Adam Chlipala
- Working on Grid; have gone from one dynamic table bizareness to another2009-07-19, by Adam Chlipala
- FFI manual section2009-07-18, by Adam Chlipala
- New command-line options; describe simple SQLite build in demo intro2009-07-18, by Adam Chlipala
- Key events get key code input2009-07-18, by Adam Chlipala
- Testing new events2009-07-18, by Adam Chlipala
- Goodbye <font>; hello <h5> and <h6>2009-07-18, by Adam Chlipala
- Try to add all applicable JavaScript events2009-07-18, by Adam Chlipala
- More command-line options2009-07-18, by Adam Chlipala
- Blobs tested in MySQL and SQLite2009-07-18, by Adam Chlipala
- Tweaking demos a bit2009-07-17, by Adam Chlipala
- Fix month off-by-one for MySQL timestamps2009-07-17, by Adam Chlipala
- Timestamps working with SQLite2009-07-17, by Adam Chlipala
- Most of demo working with SQLite2009-07-17, by Adam Chlipala
- demo/sql works with SQLite2009-07-17, by Adam Chlipala
- Check for existence of sequences (MySQL)2009-07-17, by Adam Chlipala
- Avoid preparing the same statement twice2009-07-17, by Adam Chlipala
- MySQL CGI working2009-07-17, by Adam Chlipala
- Fix dependency misordering2009-07-17, by Adam Chlipala
- Testing nested queries2009-07-17, by Adam Chlipala
- Demo working with MySQL2009-07-16, by Adam Chlipala
- Sequence code compiles in MySQL2009-07-16, by Adam Chlipala
- MySQL accepts generated demo DDL2009-07-16, by Adam Chlipala
- Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet2009-07-12, by Adam Chlipala
- demo/sql working with MySQL2009-07-12, by Adam Chlipala
- MySQL demo/sql succeeds in reading no rows2009-07-12, by Adam Chlipala
- MySQL query gets up to C linking2009-07-12, by Adam Chlipala
- Validating views2009-06-30, by Adam Chlipala
- Switch to Information Schema from Postgres catalog2009-06-30, by Adam Chlipala
- Move all DBMS initialization to #init2009-06-30, by Adam Chlipala
- Moved nextval code into Settings2009-06-28, by Adam Chlipala
- Moved dml code into Settings2009-06-28, by Adam Chlipala
- Moved query code into Settings2009-06-28, by Adam Chlipala
- Start of multi-DBMS support2009-06-28, by Adam Chlipala
- Move http protocol into its own file2009-06-28, by Adam Chlipala
- FastCGI working with lighttpd2009-06-27, by Adam Chlipala
- .msgs processing in FastCGI2009-06-27, by Adam Chlipala
- Fix memory leak in fastcgi environment management2009-06-27, by Adam Chlipala
- Fix env-reading bug in fastcgi; a bunch of non-AJAXy demos working2009-06-27, by Adam Chlipala
- Serving Hello via FastCGI2009-06-27, by Adam Chlipala
- Successfully starting FastCGI sessions with Apache2009-06-27, by Adam Chlipala
- Avoid using prepared statements for non-persistent protocols2009-06-27, by Adam Chlipala
- -debug from the command line2009-06-27, by Adam Chlipala
- cgi protocol2009-06-23, by Adam Chlipala
- Initial implementation of protocols in Settings2009-06-23, by Adam Chlipala
- Further refactoring of request.c to work with CGI2009-06-23, by Adam Chlipala
- Factor out common request functionality, in preparation for supporting different protocols2009-06-23, by Adam Chlipala
- New release2009-06-23, by Adam Chlipala
- Fix a bug with 'Some p' patterns, where 'p' needs specialization2009-06-18, by Adam Chlipala
- Fix a variable capture bug in nested JavaScript; some more list stuff2009-06-16, by Adam Chlipala
- Fix a bug in type class enrichment from substructures2009-06-16, by Adam Chlipala
- Fix MonoReduce unsoundness with lets and fns2009-06-13, by Adam Chlipala
- <dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls2009-06-13, by Adam Chlipala
- Some standard library reorgs and additions; handle mutual datatypes better in Specialize2009-06-09, by Adam Chlipala
- Mark current as effectful; add List functions2009-06-09, by Adam Chlipala
- Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff2009-06-07, by Adam Chlipala
- List.all; fix ANDALSO/ORELSE parsing precedence2009-06-07, by Adam Chlipala
- && and ||2009-06-07, by Adam Chlipala
- Start of Option; Basis.current; fix missed cases in Jscomp.isNullable2009-06-07, by Adam Chlipala
- Fix unbound name problem in Jscomp injectors; more List stuff2009-06-06, by Adam Chlipala
- List library additions; fix another substructure unification bug2009-06-06, by Adam Chlipala
- Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp2009-06-02, by Adam Chlipala
- Tweak -- precedence; use right env for final exhaustiveness errors2009-06-02, by Adam Chlipala
- Fix relative precedence of ; and case-stuff2009-06-02, by Adam Chlipala
- Less whining about match failures; fix singleton record Jscomp bug2009-06-02, by Adam Chlipala
- Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module2009-06-02, by Adam Chlipala
- Expose resolveClass from Elaborate2009-05-31, by Adam Chlipala
- Fix pathmap bug; expose lower-level heap manipulation from C2009-05-31, by Adam Chlipala
- strcspn and friends2009-05-31, by Adam Chlipala
- Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly2009-05-30, by Adam Chlipala
- Substring functions; fix a nasty MonoReduce pattern match substitution bug2009-05-30, by Adam Chlipala
- String.length2009-05-30, by Adam Chlipala
- Fix variable adjustment bug in fn/case alternation2009-05-28, by Adam Chlipala
- Fix EDLet elab_util bug2009-05-28, by Adam Chlipala
- Destructing local let, to the point where demo compiles2009-05-28, by Adam Chlipala
- Use a timeout to avoid errors after unload2009-05-28, by Adam Chlipala
- Demo compiles with pattern-matching-fu2009-05-28, by Adam Chlipala
- fn-pattern code in but not tested yet; hello compiles2009-05-28, by Adam Chlipala
- Chars and more string operations2009-05-26, by Adam Chlipala
- Change monoization of monads to allow partial applications of operations2009-05-23, by Adam Chlipala
- Switch to Maranget's pattern exhaustiveness algorithm2009-05-23, by Adam Chlipala
- Change List.mapM' to avoid leaving functions around2009-05-21, by Adam Chlipala
- ccheckbox2009-05-21, by Adam Chlipala
- Split JavaScript inp() into separate functions2009-05-21, by Adam Chlipala
- Redo Jscomp2009-05-17, by Adam Chlipala
- Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce2009-05-17, by Adam Chlipala
- Corify FFI datatypes properly; eliminate nested JavaScript markers2009-05-17, by Adam Chlipala
- Loading an FCKeditor2009-05-16, by Adam Chlipala
- Fix initialization of cselect from source2009-05-16, by Adam Chlipala
- Fix another problem with overwrites during JavaScript pattern matching2009-05-16, by Adam Chlipala
- Mutual datatypes through Cjrize2009-05-16, by Adam Chlipala
- Mutual datatypes through Pathcheck2009-05-16, by Adam Chlipala
- Mutual datatypes through Effectize2009-05-16, by Adam Chlipala
- Mutual datatypes through Corify2009-05-16, by Adam Chlipala
- Mutual datatypes through Elaborate2009-05-16, by Adam Chlipala
- Add extra XML preamble nonsense2009-05-16, by Adam Chlipala
- Catch more unclosed bodyless tags in Monoize2009-05-16, by Adam Chlipala
- Fix a Core_untangle bug that missed closure variable references; XHTMLize2009-05-16, by Adam Chlipala
- Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp2009-05-14, by Adam Chlipala
- Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering2009-05-14, by Adam Chlipala
- cselect.onchange2009-05-14, by Adam Chlipala
- Improvements while working on Graftid2009-05-14, by Adam Chlipala
- cselect2009-05-14, by Adam Chlipala
- Fix a nasty binding bug in CoreUtil2009-05-14, by Adam Chlipala
- Testing custom paths2009-05-14, by Adam Chlipala
- Improving/reordering Unpoly and Especialize; pathmaps2009-05-14, by Adam Chlipala
- Stop potential buffer overrun of path_copy2009-05-12, by Adam Chlipala
- Improvements while working on Graftid2009-05-12, by Adam Chlipala
- Use Ur/Web library .mlb2009-05-10, by Adam Chlipala
- Tag CHANGELOG with release date2009-05-05, by Adam Chlipala
- Describe GET/POST2009-05-05, by Adam Chlipala
- Constraint syntax2009-05-05, by Adam Chlipala
- on* handlers2009-05-05, by Adam Chlipala
- Revised query types2009-05-05, by Adam Chlipala
- Table constraint Ur code2009-05-05, by Adam Chlipala
- Revising manual through end of Section 62009-05-05, by Adam Chlipala
- Revising manual through end of Section 32009-05-05, by Adam Chlipala
- Make Effectize more precise2009-05-05, by Adam Chlipala
- crud3 demo2009-05-03, by Adam Chlipala
- subforms demo2009-05-03, by Adam Chlipala
- cookieSec demo2009-05-03, by Adam Chlipala
- view demo2009-05-03, by Adam Chlipala
- outer demo2009-05-03, by Adam Chlipala
- upload demo2009-05-03, by Adam Chlipala
- css demo2009-05-03, by Adam Chlipala
- url demo2009-05-03, by Adam Chlipala
- constraints demo2009-05-03, by Adam Chlipala
- Update FFI type of Basis.self2009-05-02, by Adam Chlipala
- FFI transactionals2009-05-02, by Adam Chlipala
- Runtime URL and MIME type filtering2009-05-02, by Adam Chlipala
- allow/deny working in Mono_opt2009-05-02, by Adam Chlipala
- Path rewriting2009-05-02, by Adam Chlipala
- Add 'library' directive2009-05-02, by Adam Chlipala
- More FFI compiler options2009-05-02, by Adam Chlipala
- Successfully influenced effectful-ness status of FFI func2009-05-02, by Adam Chlipala
- C FFI compiler options2009-04-30, by Adam Chlipala
- Lexing character entities2009-04-30, by Adam Chlipala
- List notations2009-04-30, by Adam Chlipala
- <input type='hidden'>2009-04-30, by Adam Chlipala
- Megaform test2009-04-30, by Adam Chlipala
- subforms working2009-04-30, by Adam Chlipala
- Subforms type-checks; lists urlified and unurlified2009-04-30, by Adam Chlipala
- Basis.list2009-04-30, by Adam Chlipala
- Subforms2009-04-28, by Adam Chlipala
- Views in CHANGELOG2009-04-28, by Adam Chlipala
- A view query works2009-04-28, by Adam Chlipala
- Preparing to allow views in SELECT FROM clauses2009-04-28, by Adam Chlipala
- Outer joins in CHANGELOG2009-04-28, by Adam Chlipala
- RIGHT and FULL JOIN2009-04-28, by Adam Chlipala
- LEFT JOIN2009-04-28, by Adam Chlipala
- INNER JOIN2009-04-28, by Adam Chlipala
- Switch to using sql_from_items2009-04-28, by Adam Chlipala
- Extra checks on assumptions about SQL results2009-04-26, by Adam Chlipala
- sql_ufunc and octet_length2009-04-26, by Adam Chlipala
- blobSize2009-04-26, by Adam Chlipala
- Blobs in CHANGELOG2009-04-26, by Adam Chlipala
- Handling nullable blobs2009-04-26, by Adam Chlipala
- Reading blobs from the database2009-04-26, by Adam Chlipala
- Returning a blob as page result2009-04-26, by Adam Chlipala
- Add MIME type to file2009-04-25, by Adam Chlipala
- Only allow single-file upload per control2009-04-25, by Adam Chlipala
- Prepared statements with blobs2009-04-25, by Adam Chlipala
- Initial support for blobs and upload2009-04-25, by Adam Chlipala
- Cookie signatures for RPCs2009-04-23, by Adam Chlipala
- Only use cookie signatures when cookies might be read2009-04-23, by Adam Chlipala
- Cookie signing working for forms2009-04-16, by Adam Chlipala
- Add more buttons to demo, to avoid effectful GET2009-04-16, by Adam Chlipala
- Effectness analysis2009-04-16, by Adam Chlipala
- Label exported symbols by effect-ness; factor out some common datatypes2009-04-16, by Adam Chlipala
- POST support2009-04-16, by Adam Chlipala
- Some client-side error handling2009-04-16, by Adam Chlipala
- Avoid thread death via message receive2009-04-16, by Adam Chlipala
- Show XML2009-04-16, by Adam Chlipala
- onError2009-04-16, by Adam Chlipala
- Catching duplicate cookie and style paths2009-04-16, by Adam Chlipala
- <link>2009-04-16, by Adam Chlipala
- Simplify type class requirement for tree demo2009-04-13, by Adam Chlipala
- Tiny increment to style test2009-04-12, by Adam Chlipala
- Classes as optional arguments to Basis.tag2009-04-12, by Adam Chlipala
- Stop tracking CSS classes in XML types2009-04-12, by Adam Chlipala
- hello compiles with CSS2009-04-12, by Adam Chlipala
- style declarations2009-04-12, by Adam Chlipala
- URLs2009-04-09, by Adam Chlipala
- Update CHANGELOG2009-04-09, by Adam Chlipala
- Use FOREIGN KEY in Tree demo2009-04-09, by Adam Chlipala
- CHECK constraints2009-04-09, by Adam Chlipala
- Retry failed record summary unifications at the end, in hopes that more has been learned2009-04-09, by Adam Chlipala
- More flexible foreign keying2009-04-09, by Adam Chlipala
- Made type class system very general; demo compiles2009-04-09, by Adam Chlipala
- Get demo type-inferring again2009-04-07, by Adam Chlipala
- FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)2009-04-07, by Adam Chlipala
- Add primary keys to demo2009-04-07, by Adam Chlipala
- PRIMARY KEY2009-04-07, by Adam Chlipala
- Enhance table sig item support and get demo compiling again2009-04-07, by Adam Chlipala
- Track uniqueness sets in table types2009-04-07, by Adam Chlipala
- UNIQUE constraints2009-04-07, by Adam Chlipala
- Fixing some regressions and other bugs2009-04-05, by Adam Chlipala
- CHANGELOG before release2009-04-05, by Adam Chlipala
- Update the manual2009-04-05, by Adam Chlipala
- Initialize contexts a little more vigorously2009-04-05, by Adam Chlipala
- Chat demo2009-04-05, by Adam Chlipala
- RoundTrip demo2009-04-05, by Adam Chlipala
- Threads demo2009-04-05, by Adam Chlipala
- Avoid generating empty <script> blocks2009-04-05, by Adam Chlipala
- sleep and better Scriptcheck2009-04-04, by Adam Chlipala
- spawn2009-04-04, by Adam Chlipala
- _Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned2009-04-04, by Adam Chlipala
- Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active2009-04-04, by Adam Chlipala
- Checking spans in dyns2009-04-04, by Adam Chlipala
- Redo signal implementation to avoid memory leaks2009-04-02, by Adam Chlipala
- Make sure only one pull request runs at a time for each client2009-04-02, by Adam Chlipala
- Detect serialization failures2009-04-02, by Adam Chlipala
- On start-up, delete/nullify rows mentioning clients or channels2009-04-02, by Adam Chlipala
- Don't self-update ctextboxes unnecessarily2009-04-02, by Adam Chlipala
- Stop holding client locks throughout request processing2009-04-02, by Adam Chlipala
- Expunging nullable fields2009-03-29, by Adam Chlipala
- Expunging non-nullable rows2009-03-29, by Adam Chlipala
- Redo channels, making them single-client2009-03-29, by Adam Chlipala
- Switch back to starting listener on load2009-03-28, by Adam Chlipala
- Marshalcheck2009-03-28, by Adam Chlipala
- Chat example working nicely, but without dead channel removal2009-03-26, by Adam Chlipala
- Preliminary work supporting channels in databases2009-03-26, by Adam Chlipala
- Enforce termination of type class instances2009-03-26, by Adam Chlipala
- Make sql_injectable class nicer with inclusion2009-03-26, by Adam Chlipala
- Type class inclusions2009-03-26, by Adam Chlipala
- Type class reductions, but no inclusions yet2009-03-26, by Adam Chlipala
- Variable timeouts and client keep-alive2009-03-24, by Adam Chlipala
- Fix some AJAX annoyances2009-03-24, by Adam Chlipala
- Transactionalize channel operations2009-03-24, by Adam Chlipala
- Proper recv2009-03-22, by Adam Chlipala
- Press a button to send a message2009-03-22, by Adam Chlipala
- First message send delivered, but not interpreted2009-03-22, by Adam Chlipala
- Dummy message delivery to clients2009-03-19, by Adam Chlipala
- Factor out some common buffer functionality2009-03-19, by Adam Chlipala
- Mention src/coq in CHANGELOG2009-03-12, by Adam Chlipala
- Spell-check manual2009-03-12, by Adam Chlipala
- Update CHANGELOG2009-03-12, by Adam Chlipala
- Add guard elim rule2009-03-12, by Adam Chlipala
- Update compiler phases2009-03-12, by Adam Chlipala
- Describe AJAX RPC structure2009-03-12, by Adam Chlipala
- Functional-reactive subsection2009-03-12, by Adam Chlipala
- Update old Ur/Web library section, before adding new stuff2009-03-12, by Adam Chlipala
- Describe folders2009-03-12, by Adam Chlipala
- Revise type inference section2009-03-12, by Adam Chlipala
- Revise manual, through static semantics2009-03-12, by Adam Chlipala
- Revise manual, through end of Syntax2009-03-12, by Adam Chlipala
- Change location/type of [fold] to be more uniform w.r.t. derived folders2009-03-12, by Adam Chlipala
- Revising manual, through main syntax section2009-03-12, by Adam Chlipala
- Noisy demo2009-03-10, by Adam Chlipala
- BatchG demo2009-03-10, by Adam Chlipala
- Batch example2009-03-10, by Adam Chlipala
- Increment demo2009-03-10, by Adam Chlipala
- Prose for ListEdit2009-03-10, by Adam Chlipala
- ListEdit demo, minus prose2009-03-10, by Adam Chlipala
- React demo2009-03-10, by Adam Chlipala
- Alert demo2009-03-10, by Adam Chlipala
- Avoid any JavaScript when pages don't need it; update demo prose2009-03-10, by Adam Chlipala
- Conversion of functions to CPS, to facilitate ServerCall2009-03-08, by Adam Chlipala
- RPC returning an option2009-03-08, by Adam Chlipala
- 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