view paste/paste.13254 @ 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 ac59fa54605e
children
line wrap: on
line source

#!/bin/sh
id=$1
expr "$1" + 0 >/dev/null 2>&1 || exit 1
head -n $((id-1)) quotes >quotes.new
tail -n +$((id+1)) quotes >>quotes.new
diff quotes quotes.new >/dev/null && exit 1
printf "*poof*%s" "$(quote $id | cut -d')' -f2-)
mv quotes.new quotes