hyper-coercions

A new representation for coercions based gradual typing

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
paper		paper
.gitignore		.gitignore
Coercions.v		Coercions.v
General.v		General.v
HCoercions.v		HCoercions.v
HCoercionsCompose.v		HCoercionsCompose.v
HCoercionsIso.v		HCoercionsIso.v
LibTactics.v		LibTactics.v
Makefile		Makefile
README.md		README.md
SolveMax.v		SolveMax.v
Types.v		Types.v
_CoqProject		_CoqProject

Provide feedback