Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
6 lines (3 sloc) 100 Bytes
module test where
_•_ : {A B C : Set} -> (B -> C) -> (A -> B) -> (A -> C)
(f • g) x = f (g x)