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