Exercise 1

{-# OPTIONS --allow-unsolved-metas #-}

module CS410.Ex01 where

open import CS410.Prelude
open import CS410.Lec01

Prove that addition is associative.

+-assoc : ∀ l m n → (l + m) + n ≡ l + (m + n)
+-assoc l m n = {!!}