Liquid Haskell启用Prelude吗?

是否有一个带注释的变体或
Haskell Prelude可以轻松迁移调用head或length等函数的现有程序? 最佳答案 正如LH 070​​00中所讨论的,您可以使用.spec文件扩充现有文件,这些文件仅提供现有代码的规范. LH本身带有一个很大的前奏(参见
include文件夹),其中包括许多常见内容的规范,包括头部,长度,Data.Set上的函数等.

点赞