Mercurial > hg > Members > soto > experimental

view test.agda @ 10:ce192a384cb6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
WIP add imple
author soto
date Thu, 11 Feb 2021 15:35:48 +0900
parents
children
line wrap: on
line source

module test where

open import Data.List
open import Data.Nat


addtest : List ℕ → ℕ → ℕ
addtest [] x = x
addtest ( x ∷ xs) y = addtest xs (y + x)