Mercurial > repo
log
age | author | description |
---|---|---|
Wed, 24 Feb 2016 05:54:46 +0000 | HackBot | <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. |
Wed, 24 Feb 2016 05:50:05 +0000 | HackBot | <oerjan> le/rn !/! is a syntax used in Haskell and Prolog for solving evaluation order problems. |
Wed, 24 Feb 2016 05:48:22 +0000 | HackBot | <oerjan> ` sed -i \'5s/"/"_/g\' bin/\\? |