Mercurial > hg > Document > Growi

annotate Agda.md @ 131:d585ad848911

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
backup 2023-07-11
author autobackup
date Tue, 11 Jul 2023 00:10:03 +0900
parents b6c284fd5ae4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
e12992dca4a0 init from Growi
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 # Agda
2
b6c284fd5ae4 backup 2020-12-16
autobackup
parents: 0
diff changeset
2 Agda は依存型をもつ純粋関数型の言語である。
b6c284fd5ae4 backup 2020-12-16
autobackup
parents: 0
diff changeset
3 定理証明支援器でもある。