diff -r c840a99a3e05 -r 281ce101cda6 Literature/agda-bit-coded.pdf
Binary file Literature/agda-bit-coded.pdf has changed