Poett

Poett is an implementation of a subset of the Calculus of Inductive Constructions in Haskell. Its aim is to display how a small dependent typechecker can be implemented with a focus on inductive types.

Name		Name	Last commit message	Last commit date
bin		bin
examples		examples
src		src
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
Poett.cabal		Poett.cabal
README.md		README.md
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml

Navigation Menu

Repository files navigation

Poett

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

Poett

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages