Commit 06a48087 authored by André Pacak's avatar André Pacak

restructure directories to separate the haskell and inca type checkers.

parent 1aeae616
......@@ -17,5 +17,8 @@ in order to figure out how to structure the compilation pipeline.
## Getting Started
To build, install the [Stack](https://www.haskellstack.org) build tool and run `stack build` from
the root directory of the project.
To build the type checkers in Haskell, install the [Stack](https://www.haskellstack.org) build tool and run `stack build` within
the directory `haskell` of the project.
To build the type checkers in IncA, install [IncA](https://github.com/szabta89/IncA) and open the directory `inca-translation` with MPS.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment