miyamok / epsilonproofchecker

Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus
1 stars 0 forks source link

cabal ecosystem #2

Open miyamok opened 11 months ago

miyamok commented 11 months ago

Organize the source code to rely on cabal to get the following benefits.

miyamok commented 11 months ago

Cabal integration done. The structure of the directory looks standard now.