Name		Name	Last commit message	Last commit date
app		app
src		src
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock
ttfp.cabal		ttfp.cabal

Repository files navigation

ttfp

Writing some implementations for definitions found in Type Theory and Formal Proof.

About

Some implementations for definitions in "Type Theory and Formal Proof"

BSD-3-Clause license

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages