Skip to content
Implicational fragment of minimal logic in Agda
Agda Makefile
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
Decidable.agda
Deduction.agda
Ensemble.agda
Formula.agda
LICENSE
List.agda
Logic.agda
Makefile
Models.agda
README.md
Tree.agda
test.agda

README.md

archer

Implicational fragment of minimal logic in Agda

... it works with arrows, you see.

You can’t perform that action at this time.