User contributions
Jump to navigation
Jump to search
- 23:54, 1 March 2006 diff hist +20 m Dependent type Combinatory Logic as piped link
- 23:51, 1 March 2006 diff hist +18 m Combinatory logic Dependent Types as piped link
- 20:10, 1 March 2006 diff hist +1,028 Combinatory logic Implementing direct sum in CL in a continuation passing style way
- 18:14, 1 March 2006 diff hist 0 m Combinatory logic Link from CombinatoryLogic back to DependentTypes (so the circular linking is established)
- 18:10, 1 March 2006 diff hist +316 Combinatory logic the ,,not'' operation on Booleans as example for usefulness of ordered pair (direct product) construct
- 17:50, 1 March 2006 diff hist +133 m Combinatory logic Introducing the list-as-implementation-of-monad's-interface idea in a more clear way
- 17:47, 1 March 2006 diff hist +49 m Combinatory logic Curry's deferred combinators are denoted by indexing AND parantheses
- 17:23, 1 March 2006 diff hist +1 m Combinatory logic Missing space character inserted
- 17:19, 1 March 2006 diff hist +441 Dependent type Links on Curry-Howard isomorphism added to ,,Concept'' section / ,,TypeTheory'' subsection
- 16:48, 1 March 2006 diff hist 0 m Dependent type ,,Illative'' misstype corrected
- 16:46, 1 March 2006 diff hist +271 Dependent type Refining the structure: adding subsections ,,General'' to ,,Concept'', ,,Other Techniques'' to ,,Languages''
- 16:23, 1 March 2006 diff hist -6 m Dependent type Using level 1 headlines for top-level structuring, according to HaskellWiki:Guidelines
- 16:12, 1 March 2006 diff hist +1 m Future of Haskell possessive suffix
- 16:03, 1 March 2006 diff hist +836 m Combinatory logic Link to a combinatory logic interpreter (Hungarian-language-documented, Haskell-implemented)
- 15:27, 1 March 2006 diff hist +3 m Dependent type Link to Combinatory Logic wiki page
- 15:25, 1 March 2006 diff hist +1,576 Combinatory logic ->Illative Combinatory Logic section with some dreams and a tutorial added
- 14:52, 1 March 2006 diff hist 0 m Books nicer layout of the previously corrected link
- 14:47, 1 March 2006 diff hist +123 m Books Correcting broken link to Jeroen Fokker's Functional Programming
- 14:30, 1 March 2006 diff hist +11 m Dependent type table of contents
- 14:28, 1 March 2006 diff hist +29 Dependent type