Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
gule-log
Guile Log
Repository
guile-log
logic
guile-log
guile-prolog
vm.scm
Find file
Blame
History
Permalink
double negation optimisation added
· ff8b9c05
Stefan Israelsson Tampe
authored
Apr 19, 2016
ff8b9c05