705 followers
@laMudri I’ve definitely seen things like this. Here’s one: https://t.co/LzzYIDhjlz And here’s another one: https://t.co/wqPUoyajoR Abstract: “This paper shows how to implement a Prolog-style resolution procedure in the dependently typed programming langu