Haskell Formalization

This is a Haskell stack project that implements the extended formalization of our theoretical concepts from our paper “Classifying Edits to Variability in Source Code”. A detailed explanation and comparison to our formalization in the paper is given in our appendix.

Hardware and software requirements are described in REQUIREMENTS.md.

Build instructions are given in INSTALL.md.