agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard

Published 20 hours ago • verified publisher icon agda

Release agda2hs 1.3

Open jespercockx opened this issue 5 months ago • 9 comments

It seems like we're long overdue for a new release (as indicated by the comment by @HeinrichApfelmus in https://github.com/agda/agda2hs/issues/361#issuecomment-2364047031_).

One thing that might be worth doing is to investigate some lower/upper bounds on the dependencies (see e.g. https://github.com/agda/agda2hs/issues/347 and https://github.com/agda/agda2hs/pull/350#issuecomment-2363512179).

jespercockx avatar Sep 23 '24 08:09 jespercockx