Is there a Liquid Haskell with Prelude support?

Question

Is there an annotated version or Haskell Prelude to easily migrate existing programs that call functions like heador length?

Answer 1

As discussed in the LH documentation, you can enlarge existing files with files .specthat give only specifications for existing code. LH itself supplied with high prelude (see. Folder include ), which includes specifications for a large number of conventional items, including head, lengththe functions at Data.Setetc.