agda test

Posted on May 31, 2021

Agda 测试

module Posts.AgdaTest where

open import Data.Nat

ten : ℕ
ten = 10

这仅仅是一个测试