-
Notifications
You must be signed in to change notification settings - Fork 3
Pull requests: agda/agda-stdlib-meta
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump to agda-2.7.0.1/stdlib-2.2
#25
by omelkonian
was merged Mar 7, 2025
Loading…
updated Mar 7, 2025
Upstream
Convertible, HasHsType and their Deriving strategies
#15
by WhatisRT
was merged Mar 5, 2025
Loading…
updated Mar 5, 2025
Fix various bugs with the type generation of the deriving mechanism
#14
by WhatisRT
was merged Feb 28, 2025
Loading…
updated Feb 28, 2025
Compatibility with agda-stdlib v2.0-rc1
#10
by omelkonian
was merged Nov 8, 2023
Loading…
updated Nov 8, 2023
Migrate classes unrelated to meta-programming to separate repo.
#8
by omelkonian
was merged Nov 7, 2023
Loading…
updated Nov 7, 2023
Add some further useful definitions and add some options
#1
by WhatisRT
was merged Nov 14, 2022
Loading…
updated Nov 18, 2022
Add lots of tactics and type class derivation strategies
#3
by WhatisRT
was merged Nov 18, 2022
Loading…
updated Nov 18, 2022
1 of 2 tasks
ProTip!
Follow long discussions with comments:>50.