Mercurial > repo
view wisdom/cut elimination @ 7759:b4341511eb47
<fizzie> ` echo -e \'#! /bin/bash\\ncmd="$1"\\nshift\\nf="$*"\\nif [ -z "$f" && "$f" == *\\\\ * ]; then f="${cmd#* }"; cmd="${cmd%% *}"; fi\\nif [ -z "$f" ]; then echo try: \\\\`f command filename; else "$cmd" "$(< "$f")"; fi\' > bin/f
author | HackBot |
---|---|
date | Wed, 04 May 2016 21:35:48 +0000 |
parents | d634e64cd991 |
children |
line wrap: on
line source
The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator.