sourcephile / git / haskell / logic.git / commit
| author | Julien Moutinho <julm+logic@sourcephile.fr> | |
| Thu, 13 Jun 2024 12:52:43 +0000 (14:52 +0200) | ||
| committer | Julien Moutinho <julm+logic@sourcephile.fr> | |
| Mon, 24 Jun 2024 10:16:49 +0000 (12:16 +0200) | ||
| commit | 68250d2551950b4ac2a76a31e3e8f0274fec5040 | |
| tree | a63d2488464550409a737ceea16fd08770e307f6 | tree | snapshot |
| .chglog/CHANGELOG.tpl.md | [new file with mode: 0755] | blob |
| .chglog/config.yml | [new file with mode: 0755] | blob |
| .envrc | [new file with mode: 0644] | blob |
| .gitignore | [new file with mode: 0644] | blob |
| .hlint.yaml | [new file with mode: 0644] | blob |
| .reuse/dep5 | [new file with mode: 0644] | blob |
| ChangeLog.md | [new file with mode: 0644] | blob |
| LICENSES/AGPL-3.0-or-later.txt | [new file with mode: 0644] | blob |
| LICENSES/CC0-1.0.txt | [new file with mode: 0644] | blob |
| Makefile | [new file with mode: 0644] | blob |
| Readme.md | [new file with mode: 0644] | blob |
| flake.lock | [new file with mode: 0644] | blob |
| flake.nix | [new file with mode: 0644] | blob |
| fourmolu.yaml | [new file with mode: 0644] | blob |
| logic.cabal | [new file with mode: 0644] | blob |
| src/Logic.hs | [new file with mode: 0644] | blob |
| src/Logic/Kernel.hs | [new file with mode: 0644] | blob |
| src/Logic/Theory.hs | [new file with mode: 0644] | blob |
| src/Logic/Theory/Arithmetic.hs | [new file with mode: 0644] | blob |
| src/Logic/Theory/Bool.hs | [new file with mode: 0644] | blob |
| src/Logic/Theory/Eq.hs | [new file with mode: 0644] | blob |
| src/Logic/Theory/List.hs | [new file with mode: 0644] | blob |
| src/Logic/Theory/Ord.hs | [new file with mode: 0644] | blob |
| src/Logic/Theory/Semigroup.hs | [new file with mode: 0644] | blob |