Skip to content

Latest commit

 

History

History
34 lines (21 loc) · 841 Bytes

README.md

File metadata and controls

34 lines (21 loc) · 841 Bytes
Raw

lambda-learner

A GUI tool to aid with learning the lambda calculus.

Requirements

  • reactive-banana-wx >= 0.8.0
  • ghc >= 7.5
  • happy >= 1.18.19
  • alex >= 3.0.1

This program was written using reactive-banana and reactive-banana-wx version 0.8.0 using the Glasgow Haskell Compiler (GHC). GHC can be found at the Haskell Platform or with your distribution's package manager. The Happy package is used for parsing inputted text.

Haskell libraries can be installed with:

cabal install reactive-banana-wx happy alex

This library is depends wxwidgets development package. Currently, reactive-banana-wx only seems to support wxwidgets 2.9.

Building

Build lambda-learner using:

make

Alternatively the program can be compiled manually with:

ghc -XRankNTypes lambda-learner.hs