Running Grady: - First install stack: https://docs.haskellstack.org/en/stable/install_and_upgrade/ On Ubuntu: - install libtinfo-dev
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
A Gradually Typed Functional Programming Language with Bounded Quantification
Other