Directory Tree Overview

tools/
Root of Programica Tools Source Directory README
base/
Base Language and Base Functionalty README
AST/
Abstract Syntax (non-recursive structure) README
Modules/
Haskell Module System Files
TI/
Type Inference Infrastructure and Type Inference for the Base Language README
defs/
Scoping (name resolution) README
lib/
General utility library README
Monads/
Iavor's Monads and Monad Transformers Files
docs/
Files
parse/
Files
extras/
Files
token/
Files
util/
Files
parse2/
Haskell 98 Parser README
Lexer/
The Haskell Lexer (generated and hand-written modules) Files
LexerGen/
Lexer Generator Files
LexerSpec/
Haskell Lexical Syntax Specification Files
Parser/
Haskell 98 Happy Parser Files
pretty/
Pretty Printing Library Files
syntax/
Base Language Abstract Syntax Knot-tying recursive definitions Files
transforms/
Program transformation README
Deriving/
Derived instance code generation README
evman/
Evidence Management README
icons/
Files
servers/
Files
Alfa/
Files
Cut/
Files
I_say_so/
Files
Isabelle/
Files
lib/
Files
Mono/
Files
Plover/
Files
QuickCheck/
Files
icons/
Files
lib/
Files
TestCase/
Files
hs2alfa/
Haskell-to-Alfa translator README
hs2html/
Haskell-to-HTML renderer Files
hs2isabelle/
Files
AST/
Files
hs2stratego/
Haskell-to-Stratego (Plover) translator README
AST/
Files
pfe/
Programatica Front-end Framework and command-line interface README
Browser/
Programatica Haskell Browser README
property/
The Plogic extension README
AST/
AST for the Plogic extention (non-recursive structure) Files
TI/
Type inference for the Plogic extension Files
defs/
Scoping (name resolution) for the Plogic extension Files
parse2/
Parser for Haskell + the Plogic extension Files
Parser/
Files
pfe/
Command-line interface additions for the Plogic extension Files
syntax/
Knot-tying recursive definitions for the Plogic extention AST Files
transforms/
Program transformation for the Plogic extension Files
scripts/
Shell scripts to support the build process Files
web/
Files for the web pages Files