countEq

write a function that, given an integer x and a List of integers, returns the number of times that x appears in the list.

Function Signature

def countEq (x:Int)(xs:List Int):Nat

Theorem Signature

def countEq_correct (x:Int)(xs:List Int):
  List.count x xs = countEq x xs

View All Submissions

Please log in or register to submit a solution for this challenge.