Commit f83f80ec authored by Tim Steenvoorden's avatar Tim Steenvoorden
Browse files

triv

parent d9deb5db
......@@ -6,7 +6,6 @@ from Algebra.Ring import class Semiring, class Ring
/// # Classes
class Module a v | Ring a & Group v where
(.*) infixl 5 :: !a !v -> v
(*.) infixl 5 :: !v !a -> v
(.* ) infixl 5 :: !a !v -> v
( *.) infixl 5 :: !v !a -> v
(.*.) infixr 2 :: !v !v -> a
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment