Notes on the effective topos and related subjects. - View it on GitHub