有没有启用Liquid Haskell的Prelude？

Question

是否有带注释的变体或Haskell Prelude可用于轻松迁移调用head或length等函数的现有程序

Answer 1

正如在LH Documentation中所讨论的，您可以使用.spec文件来扩充现有文件，这些文件只给出已有代码的规范。LH本身有一个很大的前奏(参见include文件夹)，其中包括许多常见内容的规范，包括head、length、Data.Set上的函数等。