GitHub - fishy15/minifrey-types: Implements a type checker for a subset of https://www.cs.cornell.edu/andru/papers/gallifrey-types/. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
examples		examples
src		src
aaryan345h.sty		aaryan345h.sty
proposal.tex		proposal.tex
report.pdf		report.pdf
report.tex		report.tex

About

Implements a type checker for a subset of https://www.cs.cornell.edu/andru/papers/gallifrey-types/.

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages