Pepe

icon company University of Manchester icon location United Kingdom icon location When they go low you go 'Solo'

Results 4 comments of Pepe

Issues while running the project :

All three parts are solved after internet searched but please take into the consideration the last one ( #4 . Thanks +1 for your repo .

Understanding basic examples.

Thanks for the clarification. Just one follow up: What if the quantifier is of this type; Exists ( x, Forall (y, Exists (z, prop_fml ) ) ) ? and i'm...

Problem with working examples in Un-course

Worked like a charm in Chez Scheme. But one question where the scheme looks to load the files for ex: "mk.scm" ? Is that in Home directory (i put minikanren...

Problem with working examples in Un-course

> When running miniKanren in Chez from the command line, I usually open a > terminal window, 'cd' to the directory containing 'mk.scm', then start Chez > from that directory...