agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard

Published 20 hours ago • verified publisher icon agda

Add agda2hs library to data-files + add command to print location of the library

Open jespercockx opened this issue 4 months ago • 0 comments

As suggested by @HeinrichApfelmus in https://github.com/agda/agda2hs/issues/366#issuecomment-2377083047 and https://github.com/agda/agda2hs/issues/366#issuecomment-2377411491

jespercockx avatar Sep 26 '24 17:09 jespercockx