log

age author description
Sat, 27 Jun 2009 10:30:51 -0400 Adam Chlipala -debug from the command line
Tue, 23 Jun 2009 17:59:23 -0400 Adam Chlipala cgi protocol
Tue, 23 Jun 2009 15:56:04 -0400 Adam Chlipala Initial implementation of protocols in Settings
Tue, 23 Jun 2009 15:40:35 -0400 Adam Chlipala Further refactoring of request.c to work with CGI
Tue, 23 Jun 2009 14:05:12 -0400 Adam Chlipala Factor out common request functionality, in preparation for supporting different protocols
Tue, 23 Jun 2009 12:53:47 -0400 Adam Chlipala New release
Thu, 18 Jun 2009 18:06:15 -0400 Adam Chlipala Fix a bug with 'Some p' patterns, where 'p' needs specialization
Tue, 16 Jun 2009 17:52:44 -0400 Adam Chlipala Fix a variable capture bug in nested JavaScript; some more list stuff
Tue, 16 Jun 2009 14:38:01 -0400 Adam Chlipala Fix a bug in type class enrichment from substructures
Sat, 13 Jun 2009 15:42:24 -0400 Adam Chlipala Fix MonoReduce unsoundness with lets and fns
Sat, 13 Jun 2009 14:29:36 -0400 Adam Chlipala <dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls
Tue, 09 Jun 2009 18:11:59 -0400 Adam Chlipala Some standard library reorgs and additions; handle mutual datatypes better in Specialize
Tue, 09 Jun 2009 11:12:34 -0400 Adam Chlipala Mark current as effectful; add List functions
Sun, 07 Jun 2009 16:45:00 -0400 Adam Chlipala Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
Sun, 07 Jun 2009 14:15:22 -0400 Adam Chlipala List.all; fix ANDALSO/ORELSE parsing precedence
Sun, 07 Jun 2009 12:01:55 -0400 Adam Chlipala && and ||
Sun, 07 Jun 2009 11:13:18 -0400 Adam Chlipala Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
Sat, 06 Jun 2009 15:29:34 -0400 Adam Chlipala Fix unbound name problem in Jscomp injectors; more List stuff
Sat, 06 Jun 2009 14:09:30 -0400 Adam Chlipala List library additions; fix another substructure unification bug
Tue, 02 Jun 2009 19:28:25 -0400 Adam Chlipala Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
Tue, 02 Jun 2009 15:43:18 -0400 Adam Chlipala Tweak -- precedence; use right env for final exhaustiveness errors
Tue, 02 Jun 2009 13:55:10 -0400 Adam Chlipala Fix relative precedence of ; and case-stuff
Tue, 02 Jun 2009 12:40:09 -0400 Adam Chlipala Less whining about match failures; fix singleton record Jscomp bug
Tue, 02 Jun 2009 11:50:53 -0400 Adam Chlipala Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
Sun, 31 May 2009 15:25:27 -0400 Adam Chlipala Expose resolveClass from Elaborate
Sun, 31 May 2009 13:43:02 -0400 Adam Chlipala Fix pathmap bug; expose lower-level heap manipulation from C
Sun, 31 May 2009 12:41:34 -0400 Adam Chlipala strcspn and friends
Sat, 30 May 2009 14:44:29 -0400 Adam Chlipala Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly
Sat, 30 May 2009 13:29:00 -0400 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug
Sat, 30 May 2009 09:59:10 -0400 Adam Chlipala String.length
Thu, 28 May 2009 13:47:05 -0400 Adam Chlipala Fix variable adjustment bug in fn/case alternation
Thu, 28 May 2009 12:40:55 -0400 Adam Chlipala Fix EDLet elab_util bug
Thu, 28 May 2009 12:07:05 -0400 Adam Chlipala Destructing local let, to the point where demo compiles
Thu, 28 May 2009 11:45:45 -0400 Adam Chlipala Use a timeout to avoid errors after unload
Thu, 28 May 2009 10:35:25 -0400 Adam Chlipala Demo compiles with pattern-matching-fu
Thu, 28 May 2009 10:16:50 -0400 Adam Chlipala fn-pattern code in but not tested yet; hello compiles
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations
Sat, 23 May 2009 10:14:51 -0400 Adam Chlipala Change monoization of monads to allow partial applications of operations
Sat, 23 May 2009 09:45:02 -0400 Adam Chlipala Switch to Maranget's pattern exhaustiveness algorithm
Thu, 21 May 2009 11:45:04 -0400 Adam Chlipala Change List.mapM' to avoid leaving functions around
Thu, 21 May 2009 10:34:56 -0400 Adam Chlipala ccheckbox
Thu, 21 May 2009 10:18:20 -0400 Adam Chlipala Split JavaScript inp() into separate functions
Sun, 17 May 2009 18:41:43 -0400 Adam Chlipala Redo Jscomp
Sun, 17 May 2009 14:36:55 -0400 Adam Chlipala Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce
Sun, 17 May 2009 13:25:57 -0400 Adam Chlipala Corify FFI datatypes properly; eliminate nested JavaScript markers
Sat, 16 May 2009 18:09:14 -0400 Adam Chlipala Loading an FCKeditor
Sat, 16 May 2009 16:59:24 -0400 Adam Chlipala Fix initialization of cselect from source
Sat, 16 May 2009 16:37:48 -0400 Adam Chlipala Fix another problem with overwrites during JavaScript pattern matching
Sat, 16 May 2009 16:02:17 -0400 Adam Chlipala Mutual datatypes through Cjrize
Sat, 16 May 2009 15:55:15 -0400 Adam Chlipala Mutual datatypes through Pathcheck
Sat, 16 May 2009 15:45:12 -0400 Adam Chlipala Mutual datatypes through Effectize
Sat, 16 May 2009 15:22:05 -0400 Adam Chlipala Mutual datatypes through Corify
Sat, 16 May 2009 15:14:17 -0400 Adam Chlipala Mutual datatypes through Elaborate
Sat, 16 May 2009 13:10:52 -0400 Adam Chlipala Add extra XML preamble nonsense
Sat, 16 May 2009 12:47:01 -0400 Adam Chlipala Catch more unclosed bodyless tags in Monoize
Sat, 16 May 2009 12:41:33 -0400 Adam Chlipala Fix a Core_untangle bug that missed closure variable references; XHTMLize
Thu, 14 May 2009 18:13:09 -0400 Adam Chlipala Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp
Thu, 14 May 2009 13:18:31 -0400 Adam Chlipala Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
Thu, 14 May 2009 11:04:56 -0400 Adam Chlipala cselect.onchange
Thu, 14 May 2009 10:31:11 -0400 Adam Chlipala Improvements while working on Graftid
Thu, 14 May 2009 09:33:48 -0400 Adam Chlipala cselect
Thu, 14 May 2009 09:11:58 -0400 Adam Chlipala Fix a nasty binding bug in CoreUtil
Thu, 14 May 2009 08:15:36 -0400 Adam Chlipala Testing custom paths
Thu, 14 May 2009 08:13:54 -0400 Adam Chlipala Improving/reordering Unpoly and Especialize; pathmaps
Tue, 12 May 2009 20:15:11 -0400 Adam Chlipala Stop potential buffer overrun of path_copy
Tue, 12 May 2009 18:02:25 -0400 Adam Chlipala Improvements while working on Graftid
Sun, 10 May 2009 10:13:41 -0400 Adam Chlipala Use Ur/Web library .mlb
Tue, 05 May 2009 14:47:11 -0400 Adam Chlipala Tag CHANGELOG with release date
Tue, 05 May 2009 14:45:21 -0400 Adam Chlipala Describe GET/POST
Tue, 05 May 2009 14:36:16 -0400 Adam Chlipala Constraint syntax
Tue, 05 May 2009 14:15:55 -0400 Adam Chlipala on* handlers
Tue, 05 May 2009 13:21:26 -0400 Adam Chlipala Revised query types
Tue, 05 May 2009 12:49:16 -0400 Adam Chlipala Table constraint Ur code
Tue, 05 May 2009 11:59:50 -0400 Adam Chlipala Revising manual through end of Section 6
Tue, 05 May 2009 11:45:03 -0400 Adam Chlipala Revising manual through end of Section 3
Tue, 05 May 2009 10:23:16 -0400 Adam Chlipala Make Effectize more precise
Sun, 03 May 2009 16:00:43 -0400 Adam Chlipala crud3 demo
Sun, 03 May 2009 15:53:29 -0400 Adam Chlipala subforms demo
Sun, 03 May 2009 15:38:49 -0400 Adam Chlipala cookieSec demo
Sun, 03 May 2009 15:13:00 -0400 Adam Chlipala view demo
Sun, 03 May 2009 14:57:33 -0400 Adam Chlipala outer demo
Sun, 03 May 2009 12:49:47 -0400 Adam Chlipala upload demo
Sun, 03 May 2009 12:36:25 -0400 Adam Chlipala css demo
Sun, 03 May 2009 12:24:39 -0400 Adam Chlipala url demo
Sun, 03 May 2009 12:01:55 -0400 Adam Chlipala constraints demo
Sat, 02 May 2009 18:46:00 -0400 Adam Chlipala Update FFI type of Basis.self
Sat, 02 May 2009 18:41:21 -0400 Adam Chlipala FFI transactionals
Sat, 02 May 2009 18:20:15 -0400 Adam Chlipala Runtime URL and MIME type filtering
Sat, 02 May 2009 13:37:52 -0400 Adam Chlipala allow/deny working in Mono_opt
Sat, 02 May 2009 13:23:07 -0400 Adam Chlipala Path rewriting
Sat, 02 May 2009 12:50:52 -0400 Adam Chlipala Add 'library' directive
Sat, 02 May 2009 12:10:43 -0400 Adam Chlipala More FFI compiler options
Sat, 02 May 2009 11:27:26 -0400 Adam Chlipala Successfully influenced effectful-ness status of FFI func
Thu, 30 Apr 2009 17:15:14 -0400 Adam Chlipala C FFI compiler options
Thu, 30 Apr 2009 16:25:27 -0400 Adam Chlipala Lexing character entities
Thu, 30 Apr 2009 15:10:13 -0400 Adam Chlipala List notations
Thu, 30 Apr 2009 14:48:23 -0400 Adam Chlipala <input type='hidden'>
Thu, 30 Apr 2009 14:43:55 -0400 Adam Chlipala Megaform test
Thu, 30 Apr 2009 13:47:46 -0400 Adam Chlipala subforms working
Thu, 30 Apr 2009 11:48:56 -0400 Adam Chlipala Subforms type-checks; lists urlified and unurlified
Thu, 30 Apr 2009 11:07:29 -0400 Adam Chlipala Basis.list
Tue, 28 Apr 2009 17:26:53 -0400 Adam Chlipala Subforms
Tue, 28 Apr 2009 15:15:21 -0400 Adam Chlipala Views in CHANGELOG
Tue, 28 Apr 2009 15:04:37 -0400 Adam Chlipala A view query works
Tue, 28 Apr 2009 14:02:23 -0400 Adam Chlipala Preparing to allow views in SELECT FROM clauses
Tue, 28 Apr 2009 11:18:27 -0400 Adam Chlipala Outer joins in CHANGELOG
Tue, 28 Apr 2009 11:14:24 -0400 Adam Chlipala RIGHT and FULL JOIN
Tue, 28 Apr 2009 11:05:28 -0400 Adam Chlipala LEFT JOIN
Tue, 28 Apr 2009 10:11:56 -0400 Adam Chlipala INNER JOIN
Tue, 28 Apr 2009 09:45:17 -0400 Adam Chlipala Switch to using sql_from_items
Sun, 26 Apr 2009 12:47:53 -0400 Adam Chlipala Extra checks on assumptions about SQL results
Sun, 26 Apr 2009 12:35:45 -0400 Adam Chlipala sql_ufunc and octet_length
Sun, 26 Apr 2009 11:07:25 -0400 Adam Chlipala blobSize
Sun, 26 Apr 2009 10:54:45 -0400 Adam Chlipala Blobs in CHANGELOG
Sun, 26 Apr 2009 10:53:36 -0400 Adam Chlipala Handling nullable blobs
Sun, 26 Apr 2009 10:45:59 -0400 Adam Chlipala Reading blobs from the database
Sun, 26 Apr 2009 09:02:17 -0400 Adam Chlipala Returning a blob as page result
Sat, 25 Apr 2009 14:47:16 -0400 Adam Chlipala Add MIME type to file
Sat, 25 Apr 2009 14:35:49 -0400 Adam Chlipala Only allow single-file upload per control
Sat, 25 Apr 2009 14:04:38 -0400 Adam Chlipala Prepared statements with blobs
Sat, 25 Apr 2009 13:59:11 -0400 Adam Chlipala Initial support for blobs and upload
Thu, 23 Apr 2009 16:13:02 -0400 Adam Chlipala Cookie signatures for RPCs
Thu, 23 Apr 2009 14:10:10 -0400 Adam Chlipala Only use cookie signatures when cookies might be read
Thu, 16 Apr 2009 19:12:12 -0400 Adam Chlipala Cookie signing working for forms
Thu, 16 Apr 2009 15:38:01 -0400 Adam Chlipala Add more buttons to demo, to avoid effectful GET
Thu, 16 Apr 2009 15:29:39 -0400 Adam Chlipala Effectness analysis
Thu, 16 Apr 2009 14:49:25 -0400 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes
Thu, 16 Apr 2009 14:35:01 -0400 Adam Chlipala POST support
Thu, 16 Apr 2009 13:47:20 -0400 Adam Chlipala Some client-side error handling
Thu, 16 Apr 2009 13:00:40 -0400 Adam Chlipala Avoid thread death via message receive
Thu, 16 Apr 2009 12:43:55 -0400 Adam Chlipala Show XML
Thu, 16 Apr 2009 12:36:01 -0400 Adam Chlipala onError
Thu, 16 Apr 2009 12:07:21 -0400 Adam Chlipala Catching duplicate cookie and style paths
Thu, 16 Apr 2009 12:00:44 -0400 Adam Chlipala <link>
Mon, 13 Apr 2009 08:44:32 -0400 Adam Chlipala Simplify type class requirement for tree demo
Sun, 12 Apr 2009 14:21:19 -0400 Adam Chlipala Tiny increment to style test
Sun, 12 Apr 2009 14:19:15 -0400 Adam Chlipala Classes as optional arguments to Basis.tag
Sun, 12 Apr 2009 12:31:54 -0400 Adam Chlipala Stop tracking CSS classes in XML types
Sun, 12 Apr 2009 11:08:00 -0400 Adam Chlipala hello compiles with CSS
Sun, 12 Apr 2009 10:08:11 -0400 Adam Chlipala style declarations
Thu, 09 Apr 2009 16:36:50 -0400 Adam Chlipala URLs
Thu, 09 Apr 2009 15:58:36 -0400 Adam Chlipala Update CHANGELOG
Thu, 09 Apr 2009 15:51:50 -0400 Adam Chlipala Use FOREIGN KEY in Tree demo
Thu, 09 Apr 2009 15:30:15 -0400 Adam Chlipala CHECK constraints
Thu, 09 Apr 2009 14:59:29 -0400 Adam Chlipala Retry failed record summary unifications at the end, in hopes that more has been learned
Thu, 09 Apr 2009 13:59:34 -0400 Adam Chlipala More flexible foreign keying
Thu, 09 Apr 2009 12:31:56 -0400 Adam Chlipala Made type class system very general; demo compiles
Tue, 07 Apr 2009 20:38:01 -0400 Adam Chlipala Get demo type-inferring again
Tue, 07 Apr 2009 18:47:47 -0400 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
Tue, 07 Apr 2009 16:22:11 -0400 Adam Chlipala Add primary keys to demo
Tue, 07 Apr 2009 16:14:31 -0400 Adam Chlipala PRIMARY KEY
Tue, 07 Apr 2009 15:04:07 -0400 Adam Chlipala Enhance table sig item support and get demo compiling again
Tue, 07 Apr 2009 14:11:32 -0400 Adam Chlipala Track uniqueness sets in table types
Tue, 07 Apr 2009 12:24:31 -0400 Adam Chlipala UNIQUE constraints
Sun, 05 Apr 2009 16:17:32 -0400 Adam Chlipala Fixing some regressions and other bugs
Sun, 05 Apr 2009 12:41:41 -0400 Adam Chlipala CHANGELOG before release
Sun, 05 Apr 2009 12:37:38 -0400 Adam Chlipala Update the manual
Sun, 05 Apr 2009 12:05:19 -0400 Adam Chlipala Initialize contexts a little more vigorously
Sun, 05 Apr 2009 11:48:55 -0400 Adam Chlipala Chat demo
Sun, 05 Apr 2009 11:24:55 -0400 Adam Chlipala RoundTrip demo
Sun, 05 Apr 2009 10:48:11 -0400 Adam Chlipala Threads demo
Sun, 05 Apr 2009 09:26:00 -0400 Adam Chlipala Avoid generating empty <script> blocks
Sat, 04 Apr 2009 15:56:47 -0400 Adam Chlipala sleep and better Scriptcheck
Sat, 04 Apr 2009 14:55:36 -0400 Adam Chlipala spawn
Sat, 04 Apr 2009 14:03:39 -0400 Adam Chlipala _Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
Sat, 04 Apr 2009 12:54:39 -0400 Adam Chlipala Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active
Sat, 04 Apr 2009 11:46:24 -0400 Adam Chlipala Checking spans in dyns
Thu, 02 Apr 2009 15:12:06 -0400 Adam Chlipala Redo signal implementation to avoid memory leaks
Thu, 02 Apr 2009 13:48:59 -0400 Adam Chlipala Make sure only one pull request runs at a time for each client
Thu, 02 Apr 2009 13:31:13 -0400 Adam Chlipala Detect serialization failures
Thu, 02 Apr 2009 11:42:26 -0400 Adam Chlipala On start-up, delete/nullify rows mentioning clients or channels
Thu, 02 Apr 2009 10:57:14 -0400 Adam Chlipala Don't self-update ctextboxes unnecessarily
Thu, 02 Apr 2009 10:55:00 -0400 Adam Chlipala Stop holding client locks throughout request processing
Sun, 29 Mar 2009 14:13:50 -0400 Adam Chlipala Expunging nullable fields
Sun, 29 Mar 2009 13:30:01 -0400 Adam Chlipala Expunging non-nullable rows
Sun, 29 Mar 2009 11:37:29 -0400 Adam Chlipala Redo channels, making them single-client
Sat, 28 Mar 2009 11:15:42 -0400 Adam Chlipala Switch back to starting listener on load
Sat, 28 Mar 2009 11:13:36 -0400 Adam Chlipala Marshalcheck
Thu, 26 Mar 2009 18:26:50 -0400 Adam Chlipala Chat example working nicely, but without dead channel removal
Thu, 26 Mar 2009 16:22:34 -0400 Adam Chlipala Preliminary work supporting channels in databases
Thu, 26 Mar 2009 15:54:04 -0400 Adam Chlipala Enforce termination of type class instances
Thu, 26 Mar 2009 15:26:35 -0400 Adam Chlipala Make sql_injectable class nicer with inclusion
Thu, 26 Mar 2009 15:13:36 -0400 Adam Chlipala Type class inclusions
Thu, 26 Mar 2009 14:37:31 -0400 Adam Chlipala Type class reductions, but no inclusions yet
Tue, 24 Mar 2009 15:35:46 -0400 Adam Chlipala Variable timeouts and client keep-alive
Tue, 24 Mar 2009 15:05:28 -0400 Adam Chlipala Fix some AJAX annoyances
Tue, 24 Mar 2009 14:44:45 -0400 Adam Chlipala Transactionalize channel operations
Sun, 22 Mar 2009 16:03:45 -0400 Adam Chlipala Proper recv
Sun, 22 Mar 2009 15:16:34 -0400 Adam Chlipala Press a button to send a message
Sun, 22 Mar 2009 15:05:07 -0400 Adam Chlipala First message send delivered, but not interpreted
Thu, 19 Mar 2009 16:34:13 -0400 Adam Chlipala Dummy message delivery to clients
Thu, 19 Mar 2009 13:47:02 -0400 Adam Chlipala Factor out some common buffer functionality
Thu, 12 Mar 2009 12:37:02 -0400 Adam Chlipala Mention src/coq in CHANGELOG
Thu, 12 Mar 2009 12:34:39 -0400 Adam Chlipala Spell-check manual
Thu, 12 Mar 2009 12:30:21 -0400 Adam Chlipala Update CHANGELOG
Thu, 12 Mar 2009 12:25:05 -0400 Adam Chlipala Add guard elim rule
Thu, 12 Mar 2009 12:23:23 -0400 Adam Chlipala Update compiler phases
Thu, 12 Mar 2009 12:18:11 -0400 Adam Chlipala Describe AJAX RPC structure
Thu, 12 Mar 2009 12:10:02 -0400 Adam Chlipala Functional-reactive subsection
Thu, 12 Mar 2009 11:56:10 -0400 Adam Chlipala Update old Ur/Web library section, before adding new stuff
Thu, 12 Mar 2009 11:36:27 -0400 Adam Chlipala Describe folders
Thu, 12 Mar 2009 11:27:23 -0400 Adam Chlipala Revise type inference section
Thu, 12 Mar 2009 11:18:54 -0400 Adam Chlipala Revise manual, through static semantics
Thu, 12 Mar 2009 10:38:13 -0400 Adam Chlipala Revise manual, through end of Syntax
Thu, 12 Mar 2009 10:26:04 -0400 Adam Chlipala Change location/type of [fold] to be more uniform w.r.t. derived folders
Thu, 12 Mar 2009 10:16:59 -0400 Adam Chlipala Revising manual, through main syntax section
Tue, 10 Mar 2009 17:29:03 -0400 Adam Chlipala Noisy demo
Tue, 10 Mar 2009 16:38:38 -0400 Adam Chlipala BatchG demo
Tue, 10 Mar 2009 15:17:23 -0400 Adam Chlipala Batch example
Tue, 10 Mar 2009 13:57:09 -0400 Adam Chlipala Increment demo
Tue, 10 Mar 2009 13:46:45 -0400 Adam Chlipala Prose for ListEdit
Tue, 10 Mar 2009 12:44:40 -0400 Adam Chlipala ListEdit demo, minus prose
Tue, 10 Mar 2009 11:18:01 -0400 Adam Chlipala React demo
Tue, 10 Mar 2009 10:49:18 -0400 Adam Chlipala Alert demo
Tue, 10 Mar 2009 10:44:26 -0400 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
Sun, 08 Mar 2009 20:34:21 -0400 Adam Chlipala Conversion of functions to CPS, to facilitate ServerCall
Sun, 08 Mar 2009 13:41:55 -0400 Adam Chlipala RPC returning an option
Sun, 08 Mar 2009 13:28:21 -0400 Adam Chlipala RPC returning a default datatype
Sun, 08 Mar 2009 12:54:07 -0400 Adam Chlipala RPC returning an option datatype
Sun, 08 Mar 2009 12:37:42 -0400 Adam Chlipala RPC returning an enumeration
Thu, 26 Feb 2009 16:16:54 -0500 Adam Chlipala Kind-polymorphic [fst] and friends
Thu, 26 Feb 2009 13:56:54 -0500 Adam Chlipala Coq README
Tue, 24 Feb 2009 16:08:14 -0500 Adam Chlipala Coq formalization uses TDisjoint
Tue, 24 Feb 2009 15:54:05 -0500 Adam Chlipala Folder generation for functors
Tue, 24 Feb 2009 15:38:01 -0500 Adam Chlipala Folder generation for functions
Tue, 24 Feb 2009 15:12:13 -0500 Adam Chlipala Demos compile again, with manual folders
Tue, 24 Feb 2009 14:04:07 -0500 Adam Chlipala Make folders abstract
Tue, 24 Feb 2009 13:50:39 -0500 Adam Chlipala Top.Fold.mp
Tue, 24 Feb 2009 13:46:08 -0500 Adam Chlipala Top.Fold.concat elaborates
Tue, 24 Feb 2009 12:01:24 -0500 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
Sun, 22 Feb 2009 17:39:55 -0500 Adam Chlipala demo/sum working with manual folders
Sun, 22 Feb 2009 17:17:01 -0500 Adam Chlipala demo/hello compiles with kind polymorphism
Sun, 22 Feb 2009 16:33:55 -0500 Adam Chlipala Turned off termination checking, for now
Sun, 22 Feb 2009 16:32:56 -0500 Adam Chlipala Kind polymorphism through Explify
Sun, 22 Feb 2009 16:10:25 -0500 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
Sat, 21 Feb 2009 16:11:56 -0500 Adam Chlipala Debug reverse-engineering unification
Sat, 21 Feb 2009 15:33:20 -0500 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
Sat, 21 Feb 2009 14:10:06 -0500 Adam Chlipala Finish semantics for Featherweight Ur
Sat, 21 Feb 2009 13:22:30 -0500 Adam Chlipala Time to start thinking about guards
Sat, 21 Feb 2009 13:17:06 -0500 Adam Chlipala Most of expression semantics