Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- apply : (A : Set)(B : A -> Set) -> ((x : A) -> B x) -> (a : A) -> B a
- apply A B f a = f a
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement