标签： haskell haskell-prelude liquid-haskell
是否可以使用带注释的变体或Haskell Prelude轻松迁移调用head或length等函数的现有程序？
head
length
答案 0 :(得分：2)
正如LH Documentation中所讨论的，您可以使用.spec文件扩充现有文件，这些文件仅提供现有代码的规范。 LH本身带有一个很大的前奏（参见include文件夹），其中包含许多常见内容的规范，包括head，length，Data.Set上的函数等。< / p>
.spec
Data.Set