5

Is there a annotated variant or Haskell Prelude available for easy migration of existing programs that call functions like head or length?

Shersh
  • 9,019
  • 3
  • 33
  • 61
sevo
  • 4,559
  • 1
  • 15
  • 31

1 Answers1

2

As discussed in the LH Documentation, you can augment existing files with .spec files that give just specifications of already existing code. LH itself comes with a large prelude (see the include folder) that includes specifications for lots of common stuff, including head, length, functions on Data.Set, etc.

sclv
  • 38,665
  • 7
  • 99
  • 204