This repository has been archived by the owner on Nov 3, 2021. It is now read-only.

evertedsphere / how-to-implement-dependent-type-theory Public archive

Notifications You must be signed in to change notification settings
Fork 1
Star 37

A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml

37 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
benchmark		benchmark
executable		executable
library		library
test-suite		test-suite
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE.md		LICENSE.md
README.md		README.md
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml

Repository files navigation

A simple dependent typechecker

Translated from How to Implement Dependent Type Theory I, which is in OCaml.

About

A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml

Report repository

Releases

No releases published

Packages

Contributors 2

Languages

Haskell 100.0%