Mercurial > repo

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 6948: (0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip
age author description
Wed, 24 Feb 2016 06:06:18 +0000 HackBot <shachaf> le/rn cat elimination/cat elimination is the process of replacing a one-argument `cat` command with the shell operator <
Wed, 24 Feb 2016 06:01:08 +0000 HackBot <oerjan> le/rn programmers knowing what they\'re doing/Programmers knowing what they\'re doing is a hypothetical race invoked to justify keeping horrendous traps in programming languages.
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.
less more | rev 6948: (0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip