Pepe

Results 3 issues of Pepe

#1. In make part : Resolving deltas: 100% (1898/1898), done. fatal: reference is not a tree: ec023737a4d54df1fe6e6f198cd87ed8677b6676 Unable to checkout 'ec023737a4d54df1fe6e6f198cd87ed8677b6676' in submodule path 'priv/Socket.IO' make: **\* [deps] Error 1...

Hi, I'm trying to create basic one level quantifier alternation and test all 4 possible cases. I have picked your first example as a basis. #include #include #include #include #include...

I'm using Dr.Racket with https://github.com/miniKanren/Racket-miniKanren/wiki/How-to-Install-as-a-Package-from-Dr.-Racket But it does't support few constructs , For example evalo .. And few others . So i'm now trying to use scheme instead . Can...