Shayan's implementation of a framework for conversion from ADT to G GADT representation of STLC and first-order MiniFeldspar
Shayan's implementation of a framework for conversion from ADT to G GADT representation of STLC and first-order MiniFeldspar
removing temp files