root/logic
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

increase readme coolness

Browse source
This commit is contained in:
hi 2025-08-12 05:29:08 +00:00
parent e46bcf6ddc
commit 050d08ffc2
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
readme.md
View file

@ -27,11 +27,11 @@ things you can do with this:
- the MIU system (from "Gödel, Escher, Bach") - the MIU system (from "Gödel, Escher, Bach")
- L - L
## Requirements ## requirements
a haskell compiler e.g. GHC a haskell compiler e.g. GHC
## Compile it ## compile it
```sh ```sh
make make
@ -39,7 +39,7 @@ make
or look in `Makefile` or look in `Makefile`
## Usage ## usage
only this has been implemented in the main function: only this has been implemented in the main function:
@ -47,7 +47,7 @@ only this has been implemented in the main function:
echo '((p->q)<->(!q->!p))' | ./logic echo '((p->q)<->(!q->!p))' | ./logic
``` ```
### Output ### output
``` ```
Iff (Implies (Atom "p") (Atom "q")) (Implies (Not (Atom "q")) (Not (Atom "p"))) Iff (Implies (Atom "p") (Atom "q")) (Implies (Not (Atom "q")) (Not (Atom "p")))