Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
5 lines (3 sloc) 133 Bytes
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).