├── .gitignore ├── Example.hs ├── Morality.hs ├── Norm.hs ├── Preorder.hs ├── ProbDist.hs └── README.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexbecker/formal-morality/HEAD/.gitignore -------------------------------------------------------------------------------- /Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexbecker/formal-morality/HEAD/Example.hs -------------------------------------------------------------------------------- /Morality.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexbecker/formal-morality/HEAD/Morality.hs -------------------------------------------------------------------------------- /Norm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexbecker/formal-morality/HEAD/Norm.hs -------------------------------------------------------------------------------- /Preorder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexbecker/formal-morality/HEAD/Preorder.hs -------------------------------------------------------------------------------- /ProbDist.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexbecker/formal-morality/HEAD/ProbDist.hs -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexbecker/formal-morality/HEAD/README.md --------------------------------------------------------------------------------