# Page history

## 26 July 2016

## 19 July 2016

## 2 May 2016

## 15 January 2016

→A crash course in formal logic: use of unintroduced letters

m+2

→A crash course in formal logic: typo. ; word written twice

m-4

## 10 January 2016

## 18 December 2015

→Combinator calculus: fixed link to lambda calculus couldn't find a Haskell one

-8

→Combinator calculus

-8

→Combinator calculus: fixed link to lambda calculus

no edit summary

## 20 July 2015

## 12 July 2015

## 14 May 2015

→A crash course in formal logic

-7

no edit summary

m+10

First of all it doesn't mean the same thing (because of material implication on ⊥ → ...). Second of all it's lazy to call English woolly or imprecise.

-77

## 9 January 2015

En dash fixes

-3

Cic moved page Haskell/The Curry-Howard isomorphism to Haskell/The Curry–Howard isomorphism over redirect: En dash should be used here

m

## 21 November 2013

## 12 September 2012

## 29 April 2012

## 4 April 2012

## 12 January 2012

## 22 February 2011

## 23 January 2011

## 10 December 2010

## 18 October 2010

## 16 October 2010

→Intuitionistic vs classical logic: oops, these are notes

m+27

→Intuitionistic vs classical logic: fix ref.

m-65

→Intuitionistic vs classical logic: error handling.

+837

→Combinator calculus: Order of terms is correct, x is replaced with t_2

## 15 October 2010

→Intuitionistic vs classical logic: change <math> to <code>

-31

→Intuitionistic vs classical logic: initial paragraph.

+1,008

→Combinator calculus: variables were swapped in the beta-reduction rule