GitHub - mstewartgallus/playground

Name		Name	Last commit message	Last commit date
Latest commit History 61 Commits
Poly.agda		Poly.agda
README		README
basechange.v		basechange.v
coc.v		coc.v
codensecat.v		codensecat.v
coexp.rkt		coexp.rkt
free.v		free.v
groupoid.v		groupoid.v
hash.c		hash.c
kont.v		kont.v
linear.v		linear.v
list.v		list.v
nilpotent.v		nilpotent.v
polyendoprofunctor.v		polyendoprofunctor.v
sorts.v		sorts.v
tarski.rkt		tarski.rkt
tarski.v		tarski.v
term.v		term.v
vector.v		vector.v

Repository files navigation

Just a few little language experiments with PLT Redex

No description, website, or topics provided.

No releases published

No packages published