GitHub - hannah-earley/sigma-examples: Example Programs and Routines for Sigma (σ)

hannah-earley / sigma-examples Public

Example Programs and Routines for Sigma (σ)

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.gitattributes		.gitattributes
equiv.sig		equiv.sig
fun.sig		fun.sig
lam-test.sig		lam-test.sig
lam.sig		lam.sig
list.sig		list.sig
mu-rec-ex.sig		mu-rec-ex.sig
mu-rec.sig		mu-rec.sig
nat.sig		nat.sig
prelude.sig		prelude.sig
test.sig		test.sig