2021-05-09 18:22:12 +02:00
|
|
|
*
|
|
|
|
!/.gitignore
|
|
|
|
|
|
|
|
!/data.env
|
|
|
|
!/README.md
|
2021-05-10 14:32:52 +02:00
|
|
|
|
|
|
|
## Scripts
|
|
|
|
!/scripts
|
|
|
|
!/scripts/requirements
|
|
|
|
!/scripts/build.sh
|
|
|
|
!/scripts/build.sh
|
|
|
|
!/scripts/test.sh
|
|
|
|
|
|
|
|
## Für Erzeugung von Grammatiken:
|
|
|
|
!/grammars
|
|
|
|
!/grammars/README.md
|
|
|
|
!/grammars/*.g4
|
2021-05-09 18:22:12 +02:00
|
|
|
|
|
|
|
## Go Source
|
|
|
|
!/aussagenlogik
|
2021-05-14 16:57:38 +02:00
|
|
|
!/aussagenlogik/recursion
|
2021-05-09 18:22:12 +02:00
|
|
|
!/aussagenlogik/schema
|
2021-05-14 16:57:38 +02:00
|
|
|
!/aussagenlogik/formulae
|
2021-05-09 18:22:12 +02:00
|
|
|
!/core
|
|
|
|
!/core/environment
|
|
|
|
!/core/utils
|
|
|
|
!/**/*.go
|
|
|
|
!/go.mod
|
|
|
|
!/go.sum
|