dump update plans to html output; clean up

renamed anfviz to prototype to better reflect what the script actually does.

cleanup utils.

Pair programming to the rescue! Fixed update planning algorithm works! Our
solution is a brute-force search algorihtm for a feasible solution.

update planning: work in progress.

Merge branch 'master' of github.com:nwf/dyna

ENH: pprint no longer wraps variables in quotes

Several changes: "update planning", bugfixes, enhancements, cleanup

NEW: "Update Planning" steps towards generating code to handle update/queries to
individual terms in rules (in forward and backward chaining).

BUGFIX: hypergraph incoming and outgoing indices where buggy

ENH: using graphviz SVG output for nicer graphics

CLEANUP: anfviz moved some code into separate file bin/utils.py

Towards "query planning" -- half of two-stage approach complete.

Tweak ANF normalization

Merge branch 'master' of github.com:nwf/dyna

anfviz - produces html output for an entire dyna program.

added examples directory and a few example dyna programs.

BUGFIX (minor) in normalize parse pretty printer (handled numbers in the result
incorrectly).

Merge branch 'master' of github.com:nwf/dyna

Tweak README and authors in dyna.cabal

Widen the type on incState in MonadUtils

Add hrllen to HList utilities module

Fix logic inversion in NormalizeParse

Tweak the parser as suggested by Tim V

added anf visualizater (python script)

BUGFIX: NormalizeParse works now...

Missed file from last time

First part of new NormalizeParse

Merge branch 'master' of github.com:nwf/dyna

added ANF pretty printer

Merge branch 'master' of github.com:nwf/dyna

Insignificant changes to NormalizeParse renamed temporary variable names)

Added Makefile (might not really want this...)

Git should not ignore .hs files

Tweaks to XXX.THTuple

Eliminate redundant class from HList module

Minor parser nits

Merge

Make ParserHS more intelligent about spaces and comments

Modified default argument disposition (i.e. how operator/functors perfer to
evaluate their arguments). Now we have (b) operators begining with an alphabetic
character do not evaluate (b) a table of exceptions to for logical and
arithmetic connectives (e.g. exp, not).

Parser now allows wider range of names for aggregators, including "max=".

Add a 'Fact' test case to the parser selftest

While here, silence a warning from Dyna.XXX.TrifectaTest

Begin transcoding Overton's thesis

Move from home-grown Proxy to 'tagged' package

ekmett externals updated

Fix build: remove stale constraint

Fix build: check in TTerm.hs

Some frontend work

Add a special arm to the parser for numerics, and preserve this into the
next representation.  This is not perfect, it is just a start.

A better first pass at Dyna.Analysis.NormalizeParse.  (Though despite the
existence of a Selftest module, there are actually no tests present yet.)

While here, do some refactoring; hopefully things are better than before.

Update external/ to point to forks which will hopefully be integrated upstream

Add DAMSL K3 as an external repository

Explain how to build the tree; revise .cabal

Begin tracking trifecta as a git submodule

First pass at K3 Stdlib from experiments

Minor documentation cleanup in ParserHS

Scattered progress on K3 backend

Improvements to HList utility library

Add bracketState

A whole host of changes

Inspired by several days of hacking on the CKY example and thinking about
how we're going to actually produce those ASTs.
> Factors out HLists and pushes their utility through BackendK3.
> Adds export annotations to BackendK3.AST and .Render
> More documentation across the board

BackendK3: Eliminate Slices as distinct objects from Patterns

BackendK3: Minor tweaks, more math

Remove PTup and STup verbosity from BackendK3

Fix K3 backend selftest to deal with formatting

K3: CTE, Ref now data families; new Annotation framework; misc small fixes

Fix haddock build, improve documentation, small misc

Fix cabal build, shuffle backend goo, more tests

Make Dyna parser understand type annotations

Eliminate explicit tuple size from pattern and slice constructors

Move REPL to Haskeline from editline

Commit some incremental progress on the K3 AST

This snapshots some crude attempts at getting generic tuples
into the K3 AST.  At the moment it isn't working (for somewhat
annoying reasons involving universal quantification, I think)
and the AST is wired up to have tuples 2-4 (though more are
a simple matter of copy-paste-modify in a few places); some bits
are automated, but many aren't.

Snapshotting before I try to replace pairs with tuples

Add LICENSE.INFO for dependencies

Some initial progress towards a K3 backend: AST, renderer, and examples

REPL and parser improvements

Initial REPL

Add more to README

An initial checkin of a parser and some ANF stuff