next up previous contents index
Next: Contents   Contents   Index

An Agda Tutorial

Misao Nagayama
m-nagayama@aist.go.jp

Hideaki Nishihara
hide.a.kit@ni.aist.go.jp

Makoto Takeyama
makoto.takeyama@aist.go.jp

Research Center for Verification and Semantics (CVS)
National Institute of Advanced Industrial Science and Technology (AIST)
Japan





Agda distribution team