repositories
/
clean-tests.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
structs
[clean-tests.git]
/
afp
/
a10
/
a10.icl
diff --git
a/afp/a10/a10.icl
b/afp/a10/a10.icl
index
1da0267
..
9a44cd8
100644
(file)
--- a/
afp/a10/a10.icl
+++ b/
afp/a10/a10.icl
@@
-9,7
+9,12
@@
import Data.Maybe
import Data.Error
import Text => qualified join
import Data.Error
import Text => qualified join
-:: BM a b = {t :: a->b, f :: b->a, t2 :: A.c t:(t c a)->t c b, f2 :: A.c t:(t b c)->t a c}
+:: BM a b =
+ { t :: a->b
+ , f :: b->a
+ , t2 :: A.c t:(t c a)->t c b
+ , f2 :: A.c t:(t b c)->t a c
+ }
bm = {t = id, f = id, t2 = id, f2 = id}
:: Action b a
bm = {t = id, f = id, t2 = id, f2 = id}
:: Action b a