Specifications using Haskell types and constraints for "stencil"-style computations on arrays
Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
old
README
StencilSpecs-multi.lhs
StencilSpecs.lhs
UnificationBased.lhs

README

Stencil specifications in Haskell using 'indexed monads'.
Requires the 'ixmonad' library: 
  Try: cabal install ixmonad
  Or, for the latest head version: http://github.com/dorchard/ixmonad