Anonymous committed 0337000

Incorporate contents of the wiki.

Comments (0)

Files changed (1)

 [Falderal project page]( at
 [Cat's Eye Technologies](
-For Further Information
+Contents of the Wiki
-Please see the [Falderal wiki](
-on Bitbucket.
+(This will be rewritten at some point)
+### Falderal ###
+Welcome to the Falderal wiki!  We've pared it down recently, as there's no
+sense in maintaining multiple copies of the documentation.
+### Installation ###
+The current released version of `Test.Falderal` is **0.7 "Ogden Avenue"**.
+To install:
+    hg clone
+Then put `falderal/bin` on your `$PATH`.
+### Documentation ###
+* For a basic introduction to what Falderal is and why, and version history, see the
+* To quickly get started using Faderal, see the
+[[|Quick Start document]].
+* For a description of the Falderal Literate Test Format, see the
+[[|Falderal Literate Test Format document]].
+* For some insight into how {{{Test.Falderal}}} implements Falderal, see the [[|Theory of Operation document]].
+== Projects using Falderal ==
+Actually, I'm sure this information can be extracted from Chrysoberyl
+somehow, so TODO just link to that here.
+* [[|The Flobnar Programming Language]] (Haskell)
+* [[|The Iphigeneia Programming Language]] (Haskell)
+* [[|The Madison Proof-Checking Language]] (TDLD)
+* [[|The Pail Programming Language]] (Haskell)
+* [[|The Pixley Programming Language]] (Pixley, Scheme)
+* [[|PL-{GOTO}.NET]] (Haskell)
+* [[|The Robin Programming Language]] (Haskell)
+* [[|The Quylthulg Programming Language]] (Haskell)
+* [[|The Xoomonk Programming Language]] (TDLD)
+Pail, Xoomonk, and Madison are better examples of how a literate test suite can be useful in both describing a programming language through examples and testing that an implementation of the language does not violate the language specification.  Xoomonk and Madison, in fact, are experiments in //test-driven language design// (TDLD), where the tests were written as part of designing the language, before any attempt at implementation; the others are more like traditional test suites.