agda-kernel icon indicating copy to clipboard operation
agda-kernel copied to clipboard
verified publisher icon lclem

support for parametrised modules

Open lclem opened this issue 6 years ago • 0 comments

lclem avatar May 25 '19 21:05 lclem