Surface: a dependently-typed language with a proof refinement–style typechecker

This is a learning project/experiment. Don’t expect it to be useful.

Name		Name	Last commit message	Last commit date
Latest commit History 900 Commits
app		app
src		src
test		test
vendor		vendor
.gitignore		.gitignore
.gitmodules		.gitmodules
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
cabal.project		cabal.project
surface.cabal		surface.cabal

Provide feedback