Name:               gulcii
Version:            0.3
Synopsis:           graphical untyped lambda calculus interactive interpreter
Description:
  GULCII is an untyped lambda calculus interpreter supporting interactive
  modification of a running program with graphical display of graph reduction.
  .
  See README.md for the user manual.

Homepage:           https://code.mathr.co.uk/gulcii
License:            GPL-2
License-file:       LICENSE
Author:             Claude Heiland-Allen
Maintainer:         claude@mathr.co.uk
Category:           Compilers/Interpreters
Build-type:         Simple
Cabal-version:      >=1.6
Tested-With:        GHC==8.2.1

extra-source-files: doc/Makefile
                    doc/encoding.md
                    doc/encoding.tex
                    doc/visualisation.png
                    README.md

Data-files:         lib/bits.gu,
                    lib/bool.gu,
                    lib/church.gu,
                    lib/either.gu,
                    lib/function.gu,
                    lib/list.gu,
                    lib/maybe.gu,
                    lib/natural.gu,
                    lib/pair.gu,
                    lib/prelude.gu,
                    lib/edinburgh.gu,
                    extra/gulcii.pd,
                    extra/gulcii_m.pd,
                    extra/gulcii_v.pd

Executable gulcii
  HS-source-dirs:   src
  Main-is:          Main.hs
  Build-depends:    base >= 3 && < 6,
                    containers >= 0.3 && < 0.6,
                    filepath >= 1.1 && < 1.5,
                    gtk >= 0.11 && < 0.15,
                    cairo >= 0.11 && < 0.14
  Other-modules:    Bruijn
                    Command
                    Draw
                    Evaluation
                    GC
                    Graph
                    Lambda
                    Layout
                    Meta
                    Parse
                    Paths_gulcii
                    Reduce
                    Setting
                    Sugar
  ghc-options:      -Wall -threaded -rtsopts
--  ghc-prof-options: -prof -auto-all -caf-all

Source-Repository head
  Type: git
  Location: https://code.mathr.co.uk/gulcii.git

Source-Repository this
  Type: git
  Tag: v0.3
  Location: https://code.mathr.co.uk/gulcii.git