Arthur Brandao 5102e2e92c Simplification ConsEmptyList 6 anni fa
..
migl 5102e2e92c Simplification ConsEmptyList 6 anni fa