view paste/paste.8944 @ 6946:d634e64cd991

<shachaf> le/rn cut elimination/The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator.
author HackBot
date Wed, 24 Feb 2016 05:54:46 +0000
parents 36521dc17083
children
line wrap: on
line source

147) <fungot> Vorpal: you can't plant spiders, duh!
150) <zzo38> catseye: Please wake up. Not recorded for this timezone. The big spider is not your dream
235) <zzo38> Lymia: I put big spider in my bed already. So if you have no more left you do not have to worry about it anymore. You can just take a cold shower or hot acid or whatever you want to, instead.