liquidhaskell-tutorial icon indicating copy to clipboard operation
liquidhaskell-tutorial copied to clipboard

Published 20 hours ago • verified publisher icon ucsd-progsys

Comments rendered in web version

Open themattchan opened this issue 8 years ago • 1 comments

The latex \begin{comment} blocks are not being hidden in the html on the site.

See: https://ucsd-progsys.github.io/liquidhaskell-tutorial/03-basic.html#/subtyping

themattchan avatar Jul 13 '16 16:07 themattchan

Oops, thanks!

On Wednesday, July 13, 2016, Matt Chan [email protected] wrote:

The latex \begin{comment} blocks are not being hidden in the html on the site.

See: https://ucsd-progsys.github.io/liquidhaskell-tutorial/03-basic.html#/subtyping

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/39, or mute the thread https://github.com/notifications/unsubscribe/ABkuOHzczDAiZkVf9O--ujW8sD0bIN9pks5qVRLmgaJpZM4JLm4P .

ranjitjhala avatar Jul 13 '16 16:07 ranjitjhala