User contributions
Jump to navigation
Jump to search
- 19:31, 25 March 2006 diff hist +4 m Applications and libraries/Theorem provers The description of Agda mentioned dependent types, so I made a link to Dependent types wikipage.
- 19:26, 25 March 2006 diff hist +278 Applications and libraries/Theorem provers Adding two links: ,,Paradox'' and ,,Dumatel''
- 19:01, 25 March 2006 diff hist +208 Applications and libraries/Editors Adding notes to EdComb's description: it presents a generalized approach of concept ,,editor''. Its usefullness also as browser.
- 18:20, 25 March 2006 diff hist +342 Applications and libraries/Editors Copying the link to EdComb to here from Libraries and tools. Beacause EdComb can fit to more category (,,Browsers'', ,,Program development''), I haven't removed its link from its original place.
- 18:05, 25 March 2006 diff hist +87 m User talk:Ashley Y Having redolved unknown copyright status
- 17:31, 25 March 2006 diff hist +35 m Applications and libraries/Graphics Giving an indirect link to Libraries and tools/GUI libraries, avoiding the redirection
- 17:24, 25 March 2006 diff hist +1 Applications and libraries/GUI libraries Fixing the link to ,,Embracing Windows'' GUI framework and deleting ,,{{dead link}}'' mark
- 17:06, 25 March 2006 diff hist -22 m Applications and libraries/Genetic programming Having resolved copyright status
- 01:38, 25 March 2006 diff hist -8 m Combinatory logic Deleting a superfluous argument from the type of the ,,interpreter'' function
- 01:08, 25 March 2006 diff hist +2,081 Combinatory logic Terminology and mathematical notation is partly renewed: it can differentiate concepts in a more sophisticated way. New notations are accompanied with expanations and motivations why I chose them
- 23:04, 24 March 2006 diff hist -2 m Combinatory logic typographic corrections
- 17:15, 24 March 2006 diff hist +2 m Combinatory logic Better alignment of the ,,quotation stratfication'' picture
- 16:36, 24 March 2006 diff hist +202 N File:Quot-strat.png The stratification of the series of quotations in representing combiatory logic terms in combinatory logic itself. Useful for building a concept of quines (self-repoducing programs) in combinatory logic current
- 16:33, 24 March 2006 diff hist +2,870 Combinatory logic The stratification of quotation series in writing a CL self-reproducing program (quine). Huge amount of quoting supprts the idea of a lightweight library for CL instead of an interpreter with commands
- 12:32, 24 March 2006 diff hist +671 User talk:Ashley Y Resolving unknown copyright status of Libraries and tools/Genetic programming
- 00:05, 24 March 2006 diff hist +174 Applications and libraries/Operating system (1) Structuring the page: a section for shell link collections, another section for concrete shell examples. (2) Also adding a new link collection for shells.
- 23:31, 23 March 2006 diff hist +347 Applications and libraries/Operating system More Haskell shell links
- 23:00, 23 March 2006 diff hist +277 Applications and libraries/Operating system Adding a link to Haskell Shell (seems to be implemented in Haskell 1.3)
- 19:36, 23 March 2006 diff hist +17 m Humor Enclosing <autrijus>'s name in <nowiki>...</nowiki> tags. Only for logical consistence (no practical significance)
- 19:30, 23 March 2006 diff hist +158 Humor An example quotation from HaWiki's QuotesPage: <autrijus>'s jokeful comparing Perl and Haskell