log
graph
tags
bookmarks
branches
changeset
browse
help
Mercurial
>
repo
log
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
| rev 6946:
(0)
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
tip
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/\\?
Wed, 24 Feb 2016 05:44:16 +0000
HackBot
<oerjan> ` sed -i \'1c#!/bin/bash\' bin/\\?
Wed, 24 Feb 2016 05:02:13 +0000
HackBot
<oerjan> learn Postorder is the same as Polish notation, since Post was Polish. Not to be confused with reverse Polish notation, which is postfix.
Wed, 24 Feb 2016 05:00:46 +0000
HackBot
<oerjan> learn Postorder is the same as Polish notation, since Post was Polish. Not to be confused with reverse Polish notation, which puts operations last.
Wed, 24 Feb 2016 05:00:04 +0000
HackBot
<oerjan> learn Postorder is the same as Polish notation, since Post was Polish. Not to be confused with reverse Polish notation.
less
more
| rev 6946:
(0)
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
tip