projects
/
coq-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
update to use Control.GArrow instead of GHC.HetMet.GArrow
[coq-hetmet.git]
/
examples
/
Demo.hs
diff --git
a/examples/Demo.hs
b/examples/Demo.hs
index
7a6aee8
..
579bf4d
100644
(file)
--- a/
examples/Demo.hs
+++ b/
examples/Demo.hs
@@
-1,11
+1,18
@@
{-# OPTIONS_GHC -XModalTypes -fflatten -funsafe-skolemize -dcore-lint -XScopedTypeVariables -fsimpleopt-before-flatten #-}
module Demo (demo) where
{-# OPTIONS_GHC -XModalTypes -fflatten -funsafe-skolemize -dcore-lint -XScopedTypeVariables -fsimpleopt-before-flatten #-}
module Demo (demo) where
+
+demo const mult =
+ <{ \y ->
+ let foo = ~~mult (~~mult foo (~~mult y foo)) (~~mult y ~~(const 3))
+ in foo }>
+
+
{-
demo const mult =
<{ \y ->
~~mult
{-
demo const mult =
<{ \y ->
~~mult
- (~~mult y y)
+ (~~(const 1))
(~~mult y y)
}>
-}
(~~mult y y)
}>
-}
@@
-54,12
+61,6
@@
demo const mult =
-demo const mult =
- <{ \y ->
- let foo = ~~mult (~~mult foo (~~mult y foo)) y
- in foo }>
-
-