GitHub - davdar/redex-workshop-2015-ott: observational type theory in redex · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
.gitignore		.gitignore
Semantics.rkt		Semantics.rkt
StaticSemantics.rkt		StaticSemantics.rkt
Syntax.rkt		Syntax.rkt

About

observational type theory in redex

3 stars

2 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages

Racket 100.0%