Lookup
obj.prop
| /* This program is not valid C. */ | |
| #include <stdio.h> | |
| int main() { | |
| puts("Hello, world!"); | |
| return 0; | |
| } |
| module Stuff where | |
| -- False is defined as a type with no values. | |
| data ⊥ : Set where -- empty | |
| -- Not-A is defined as A implying false. | |
| ¬ : Set → Set | |
| ¬ A = A → ⊥ | |
| -- Double negation. Some theorems in classical logic are not provable in |
| # Grammar for the algorithmic language Pinkie | |
| block = (stmt (nl stmt)*)? | |
| stmt | |
| = name space "=" space expr | |
| / expr | |
| expr = atom (space atom)* |
| #[allow(dead_code)]; | |
| mod parse; | |
| /* | |
| AAAAAAAAA | |
| AAAAAAAAAAA | |
| AAAAAAAAAAAAAAAA | |
| AAAAAAAAAAAAAAAAAAAAAAA | |
| AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA |
| /// Shunting-yard regex parser | |
| #[derive(Debug)] | |
| pub enum Token { | |
| Empty, | |
| Lit(char), | |
| Op(Op) | |
| } |
Boxing has been in the news lately since Uwe Boll, in an attempt to prove that his films are good after all, challenged his critics to take him on in the ring. But did you know that boxing was not always a violent sport?
As conceived in 1632 by Portuguese printing press operator Andre Felipe, boxing was a gentleman's game, in which two men would square off and regale each other with stories monotonous for days on end, until one of them fell to the ground from boredom or exhaustion. Over the next few years the new sport developed a respectable following of a few hundred local socialites.
Ironically, it was Felipe's son, Andre Felipe Felipe, who developed what he called the “Punching” strategy, in 1637, after seeing a schoolboy strike another in anger, causing him to fall down. When Andre Felipe Felipe challenged the then-champion, British expatriate “Sleepless” Bill Bishop, to a match, Bishop was the odds-on favorite. You can imagine his surprise when, while he was describing what he had had for breakfast th
| Acid Test | |
| Aqua Regia | |
| Branch Cut | |
| Break Even | |
| Cash Flow | |
| Ellie and Ella | |
| Emmentaler | |
| First Mover | |
| Fore Sight | |
| Graham Cracker |
| package: hello-1.0.1.2 | |
| os: linux | |
| arch: x86_64 | |
| compiler: ghc-7.6.3 | |
| client: cabal-install-1.20.0.2 | |
| dependencies: base-4.6.0.1 | |
| install-outcome: InstallOk | |
| docs-outcome: Ok | |
| tests-outcome: NotTried |