search

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

Add upper bound for base64 #968

Closed wenkokke closed 7 months ago

wenkokke commented 7 months ago

Fix #965.

wenkokke commented 7 months ago

Doesn't work with GHC 9.6.