summaryrefslogtreecommitdiffstats
path: root/academic/acl2 (follow)
Commit message (Collapse)AuthorAgeFilesLines
* academic/acl2: Added (Computational Logic for LiSP). Lockywolf2023-07-185-0/+138
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>