robrix / surface

Dependently-typed language w/ little to say for itself

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

License:BSD 3-Clause "New" or "Revised" License


Languages

Language:Haskell 100.0%