there is an extra ")" at the end of this line - Githubissues

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell

https://ucsd-progsys.github.io/liquidhaskell-tutorial/

MIT License

75 stars 27 forks source link

there is an extra ")" at the end of this line #106

Open LuKuangChen opened 3 years ago

LuKuangChen commented 3 years ago

https://github.com/ucsd-progsys/liquidhaskell-tutorial/blob/da96f823f775480275e998a91fa74cff31d214fa/templates/bib.lhs#L31