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
vm-disj-model.scm
Find file
Blame
History
Permalink
rewoked framing for once call negation and double negation
· ae91a86d
Stefan Israelsson Tampe
authored
Jun 13, 2016
ae91a86d