4 ms·

There was a paper a while back from someone working with MS on a Q typechecker in Prolog. Was this you?

• kthielen 9y ago
  Nope, that wasn't me. :)