The ABS stdlib expressed natively in Haskell (online API docs) (testing results) The ABS stdlib expressed natively in Haskell