はじめに

このサイトでは、Agdaを用いて数学をボトムアップに行う様子を見ることができる。

module index where

import identity-type
import bottom-type
import unit-type
import sum-type
import negation
import sigma-type
import natural-number
import integer