Add agda2hs library to data-files + add command to print location of the library
Closed this issue · 0 comments
jespercockx commented
As suggested by @HeinrichApfelmus in #366 (comment) and #366 (comment)
Closed this issue · 0 comments
As suggested by @HeinrichApfelmus in #366 (comment) and #366 (comment)