2 ms·
A very impressive use of cKanren is in Harlan ( https://github.com/eholk/harlan https://github.com/eholk/harlan ) - it is doing the region inference there.
by sklogic 12y ago
A very impressive use of cKanren is in Harlan ( https://github.com/eholk/harlan https://github.com/eholk/harlan ) - it is doing the region inference there.