name:       hybrid
version:    2.0
license:    BSD3
license-file: LICENSE
copyright:  (c) David Waern, Rickard Nilsson
author:     David Waern, Rickard Nilsson
maintainer: David Waern <davve@dtek.chalmers.se>
stability:  experimental
-- Actually the darcs repo, but close enough
category:       Compilers/Interpreters
synopsis:       A implementation of a type-checker for Lambda-H
description:    We have made an implementation of the language Lambda-H,
                described in the paper "Hybrid Type Checking" by Cormac Flanagan, which uses a
                hybrid type checking system.
                We have tried to keep our implementation as close as possible to the language
                defined in Flanagan's paper. The result should be seen as a proof-of-concept,
                and an exercise in implementing a hybrid type checker for a language with
                advanced type specifications.
homepage: http://repos.mine.nu/davve/darcs/hybrid

build-type:     Simple
build-depends:  base>=3, haskell98>=1.0, mtl>=1.0, parsec, containers
tested-with:    GHC==6.8.2

data-files: doc/HybridTypeChecking.odp, doc/HybridTypeChecking.pdf, doc/index.html

executable:  hybrid
main-is:     Main.hs
extensions:  GeneralizedNewtypeDeriving, FlexibleContexts, PatternGuards
ghc-options: -Wall
other-modules:
  Main
  Syntax
  Parser
  Printer
  Evaluator