Commit 1dd96f9d authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

First working version of non-linear functions' left-hand-sides

parent cc57f80c
This diff is collapsed.
f x y x | True = x + y
-- g = let (x,x) = (0,1) in x
multi x y y x = x + y
-- g x y z | x =:= z &> True = x + y
\ No newline at end of file
nested (x:x:_) x = x
funpat (n + n) = n
combined ~(v:_) v = v
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