The metamorphic package

[ Tags: algebra, graphs, library, recursion ] [ Propose Tags ]

Metamorphisms are an approach to structured recursion.

This package is currently a reorganization and slight adaptation of the original code which was written more than a decade ago (in 1999); it is, however quite a direct and clever way to investigate the concepts involved.

The original code and paper can be found here:

http://web.engr.oregonstate.edu/~erwig/meta/

This code uses unusual layout (in particular, I use very wide columns and lots of spacing) in hopes that it makes the symmetry of the functions manifest. Any mistakes in the code are almost surely mine, and not the original author's.

Future updates should include:

Properties

Versions 0.1.2.3
Dependencies base (<5) [details]
License OtherLicense
Author Martin Erwig <erwig@cs.orst.edu>
Maintainer Drew Day <drewday@gmail.com>
Category Recursion, Algebra, Graphs
Home page http://github.com/technogeeky/metamorphic
Source repository head: git clone https://github.com/technogeeky/metamorphic
Uploaded Tue Jul 10 04:25:45 UTC 2012 by DrewDay
Distributions NixOS:0.1.2.3
Downloads 440 total (10 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees