Notes on the formalization of ethical theory, which should help with analyses and reasoning about AI safety and ethics. - View it on GitHub