summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore802logplain
-rw-r--r--AUTHORS82logplain
-rw-r--r--COPYING107logplain
-rw-r--r--ChangeLog118logplain
-rw-r--r--HACKING1148logplain
-rw-r--r--Makefile.am3438logplain
-rw-r--r--NEWS464logplain
l---------README10logplain
-rw-r--r--README.org5472logplain
d---------build-aux43logplain
-rw-r--r--configure.ac1032logplain
-rw-r--r--datalog.scm12324logplain
d---------datalog142logplain
d---------doc43logplain
-rw-r--r--guix.scm946logplain
-rw-r--r--hall.scm3083logplain
-rw-r--r--pre-inst-env.in434logplain
-rw-r--r--schemantic.scm0logplain
d---------schemantic479logplain
d---------tests141logplain