((nil . ((geiser-guile-load-path . ("/home/jakob/Research/rego-proofs/"
                                    "/home/jakob/Research/rego-proofs/.deps/guile-lens"
                                    "/home/jakob/Research/rego-proofs/.deps/minikanren")))))