Simply Typed Lambda Calculus in Datalog (by icefox) — discussion

#plt