hcoop/domtool2.git
13 years agoCompile-time configuration infrastructure
Adam Chlipala [Sun, 30 Jul 2006 15:28:27 +0000 (15:28 +0000)]
Compile-time configuration infrastructure

13 years agoAdd primitive action handlers
Adam Chlipala [Sun, 30 Jul 2006 15:03:38 +0000 (15:03 +0000)]
Add primitive action handlers

13 years agoCustom base types
Adam Chlipala [Sun, 30 Jul 2006 01:26:25 +0000 (01:26 +0000)]
Custom base types

13 years agoReduction
Adam Chlipala [Sun, 30 Jul 2006 01:12:01 +0000 (01:12 +0000)]
Reduction

13 years agoDomains example
Adam Chlipala [Sun, 30 Jul 2006 00:33:53 +0000 (00:33 +0000)]
Domains example

13 years agoType-checking goodies in place
Adam Chlipala [Sat, 29 Jul 2006 23:24:08 +0000 (23:24 +0000)]
Type-checking goodies in place

13 years agoTypechecking for basic language done
Adam Chlipala [Sat, 29 Jul 2006 20:33:22 +0000 (20:33 +0000)]
Typechecking for basic language done

13 years agoBasic type-checking
Adam Chlipala [Sat, 29 Jul 2006 19:44:25 +0000 (19:44 +0000)]
Basic type-checking

13 years agoPretty-printing
Adam Chlipala [Mon, 24 Jul 2006 17:05:29 +0000 (17:05 +0000)]
Pretty-printing

13 years agoParsing has never been this much fun
Adam Chlipala [Mon, 24 Jul 2006 00:39:07 +0000 (00:39 +0000)]
Parsing has never been this much fun

13 years agoParsing expressions
Adam Chlipala [Sun, 23 Jul 2006 23:57:40 +0000 (23:57 +0000)]
Parsing expressions