Name		Name	Last commit message	Last commit date
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

Repository files navigation

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

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

About

Dependently-typed language w/ little to say for itself

dependent-types haskell proof-refinement typechecker

BSD-3-Clause license

10 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages