Bump Agda *2.6.3 -> 2.6.4 - Githubissues

plfa / plfa.github.io

An introduction to programming language theory in Agda

https://plfa.github.io

Creative Commons Attribution 4.0 International

1.36k stars 307 forks source link

Bump Agda *2.6.3 -> 2.6.4 #936

Open wenkokke opened 10 months ago