readme

README.md

-# BiCheck
+## iTypes
 
+It is crucial that developers receive instantaneous feedback while writing 
+programs, e.g. type errors of a program.
+
+The goal of this project is to see how type checkers can be incrementalized in 
+order to provide immediate feedback for the developer.
+As a starting point we are investigating bidirectional type systems.
+
+We want to provide a domain-specific language that enables language designers to define
+bidirectional type systems.
+Additionally, we want to implement a compiler that translates bidirectional
+type systems into a format that can be incrementalized.
+
+Currently, we are exploring how to manually transform bidirectional type system systematically 
+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.