αρχείο Email: Επαλήθευση ιδιοτήτων αλγορίθμων σε Liquid Haskell