Hacker News Reader

Comment by agumonkey | Hacker News Reader

ever seen Friedman and Byrd talk about kanren ?

    ? evalo(e, 6) 
    
    (+ 3 3)

I have seen a few *kanren posts now on HN, and they always have their operators ending in "o".

Is that just to distinguish them from normal "eval" (in this case), or is there a deeper meaning?

I think it's yet another typographic ~wonder. From what I recall it's a ° to denote relation (relat°) but made into an ascii 'o'.

So yeah, it's just to distinguish from the usual semantics.

Double nuts!