diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-28 21:45:22 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-28 21:45:22 +0000 |
| commit | 02c23401a7a3e54d48084fc2796a485de36383f1 (patch) | |
| tree | 03574e9f1c862f2b5685741c6c9d8ee8029aea21 /transfer/examples/prelude.tr | |
| parent | 5a82068ddc0e75ee2f2280ffb5da9cda3e53bac3 (diff) | |
Changed all example programs to use layout syntax.
Diffstat (limited to 'transfer/examples/prelude.tr')
| -rw-r--r-- | transfer/examples/prelude.tr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/transfer/examples/prelude.tr b/transfer/examples/prelude.tr index a7e7443a1..c8388db7b 100644 --- a/transfer/examples/prelude.tr +++ b/transfer/examples/prelude.tr @@ -1,5 +1,5 @@ -const : (A:Type) -> (B:Type) -> A -> B -> A ; -const _ _ x _ = x ; +const : (A:Type) -> (B:Type) -> A -> B -> A +const _ _ x _ = x -id : (A:Type) -> A -> A ; -id A x = x ;
\ No newline at end of file +id : (A:Type) -> A -> A +id _ x = x
\ No newline at end of file |