Integer measure about liquidhaskell-tutorial

[ranjitjhala]

Thanks for pointing this out! I will remove it!

On Wed, Nov 16, 2016 at 11:13 PM Zilin Chen [email protected]
wrote:

In chapter 7,

\begin{code}
{-@ measure size @-}
{-@ size :: xs:[a] -> {v:Nat | v = size xs} @-} -- Isn't it never needed?
size [] = 0
size (_:rs) = 1 + size rs
\end{code}

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
#40, or mute
the thread
https://github.com/notifications/unsubscribe-auth/ABkuOAHmEHG6EUDRQ8oKVBrzlDTlobN-ks5q-_6NgaJpZM4K075w
.