raptazure / chocolate Public

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

Talking about classical logic and abstract algebra in Haskell

BSD-3-Clause license

14 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
app		app
src		src
test		test
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
logichs.cabal		logichs.cabal
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Repository files navigation

Chocolate

Talking about classical logic and abstract algebra in Haskell.

Classical Logic

Logic validity
Logical connectives
Logical equivalence
Quantifier procedures
...

Abstract Algebra

Ring
Group
Cyclic
Monoid
Abelian
Semiring
Semigroup
PartialOrd
Bounded Lattice
Unbounded Lattice
...

About

Talking about classical logic and abstract algebra in Haskell

BSD-3-Clause license

Report repository

Releases

No releases published

Packages

No packages published

Languages

Haskell 100.0%