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