Parent Directory
| 
Revision Log
| 
Patch
| revision 17 by abate, Tue Jul 10 16:58:05 2007 UTC | revision 18 by abate, Tue Jul 10 16:58:28 2007 UTC | |
|---|---|---|
| # | Line 19 | Line 19 |
| 19 | exp_descr : texpr'; | exp_descr : texpr'; |
| 20 | } | } |
| 21 | and texpr' = | and texpr' = |
| 22 | | DebugTyper of ttyp | |
| 23 | ||
| 24 | (* CDuce is a Lambda-calculus ... *) | (* CDuce is a Lambda-calculus ... *) |
| 25 | | Var of string | | Var of string |
| 26 | | Apply of texpr * texpr | | Apply of texpr * texpr |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |