ct-gradual-typing/Grady

A Gradually Typed Functional Programming Language with Bounded Quantification

Running Grady:
- First install stack: https://docs.haskellstack.org/en/stable/install_and_upgrade/
On Ubuntu:  
  - install libtinfo-dev