Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Tree: 9896851754
Fetching contributors…

Cannot retrieve contributors at this time

5 lines (3 sloc) 0.133 kB
wellTyped(map,(A->B)->([A]->[B])).
wellTyped(foldr,(A->B->B)->B->[A]->B).
wellTyped(ap(F,V),A):-wellTyped(F, B->A), wellTyped(V,B).
Jump to Line
Something went wrong with that request. Please try again.