User contributions
Jump to navigation
Jump to search
- 18:30, 2 March 2006 diff hist +3,201 User talk:EndreyMark Answer -- Categorising and linking pages ,,Combinatory logic'' and ,,Dependent types'' current
- 17:56, 2 March 2006 diff hist +325 m User:EndreyMark Refining
- 17:23, 2 March 2006 diff hist +5,164 User:EndreyMark Reply to Don Stewart's letter on categorising and linking pages ,,Combinatory logic'' and ,,Dependent types''
- 16:58, 2 March 2006 diff hist +2 m Applications and libraries Correcting misstyped name of Applicative Universal Grammars in Section ,,Cognitive Science''/,,Natural Language Processing''
- 14:48, 2 March 2006 diff hist +22 m Applications and libraries How to convert sourse code found in ,,Mark P. Jones', Paul Hudak's and Sebastian Shaumyan's Using Types to Parse Natural Language'' from Gofer to GHC
- 14:30, 2 March 2006 diff hist +2 m User:EndreyMark Updating links to redirected pages
- 00:31, 2 March 2006 diff hist +1 m Future of Haskell Another link to redirected page updated
- 00:27, 2 March 2006 diff hist +1 m Future of Haskell Updating link to ,,Dependent types'' wiki page according to its redirection
- 00:06, 2 March 2006 diff hist -17 m Combinatory logic Using same label as target for wiki links
- 00:05, 2 March 2006 diff hist -19 m Dependent type Using same label as target for wiki links
- 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