diff options
| author | Paul Callaghan | 2000-05-26 17:58:50 +0000 |
|---|---|---|
| committer | Paul Callaghan | 2000-05-26 17:58:50 +0000 |
| commit | 8a7f9f793484aefd78d72c6a28a299cf09e58866 (patch) | |
| tree | 34a1fe148552934998f03b46f85757be2f0feb3a /plastic/test.lf | |
| parent | 23378837871e9828a439cd9ed50cf073b063e78d (diff) | |
fixed error in test.lf
fixed conflict in plastic.el
Diffstat (limited to 'plastic/test.lf')
| -rw-r--r-- | plastic/test.lf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plastic/test.lf b/plastic/test.lf index 02c3331c..7c163d3d 100644 --- a/plastic/test.lf +++ b/plastic/test.lf @@ -19,7 +19,7 @@ Non-dependent Pi type. > [A,B:Type] > [Pi_ : Type] > Constructors -> [La_ : (f:(x:A)B)Pi_ ]; +> [La_ : (f:(x:El A)El B)Pi_ ]; application of Pi_ types, ie conversion to a dependent product. |