Andreas Abel ed6730a171 [ fix #4959 ] rip out TopLevelInteraction (unfix #4647) hace 3 años
..
Issue1168.agda b752b17dd1 [ api-test ] Added Agda file for the pretty-print test. hace 7 años
Issue1168.hs 131b42b388 imports/api: Replace unnecessary readInterface overload hace 4 años
Makefile 58ebb54527 make: Execute ghc and runghc via stack if using stack hace 4 años
PrettyInterface.agda b752b17dd1 [ api-test ] Added Agda file for the pretty-print test. hace 7 años
PrettyInterface.hs ed6730a171 [ fix #4959 ] rip out TopLevelInteraction (unfix #4647) hace 3 años
ScopeFromInterface.agda cce70de452 Re #2701 api-test whether Interfaces are partially deserializable hace 7 años
ScopeFromInterface.hs 2014ba8b60 [ refactor ] Remove obsolete code and unused imports (#3888) hace 5 años