RocqExample.v - guix - GNU transactional package management, distribution, deployment, and more!

summary refs log tree commit diff

path: root/RocqExample.v

blob: 4ce1aec016d2b275d2864ed91e9d8f56945284cd (plain)

Inductive term : Type :=
| var (n: nat)
| app (u: term) (v: term)
| lambda (u: term).