List of problems

Intro

• Prove that value is equal to itself

Logic

• Equivalence between LEM and DNE
• Triple negation "elimination"

Peano arithmetic

• 0 + n = n
• n + 0 = n
• (a + b) + c = a + (b + c)
• a + b = b + a

Lists

• Implement List take
• repeat : (n : Nat) -> a -> Vect n a
• length (xs ++ ys) = length xs + length ys
• Map operation preserves list length

Decidability

• Check natural numbers are equal
• Check that a list contains an element