graph
- 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