diff -r 2f13fe48c877 -r 764342676520 Literature/newtypes.pdf Binary file Literature/newtypes.pdf has changed