liquidhaskell-0.8.0.2: AwakeTODO.md
- see the Category issue - set-up atom - see Jeff's thread on Monoids - write a prefix checker - check the parser paper - check gab's slides
- see the Category issue - set-up atom - see Jeff's thread on Monoids - write a prefix checker - check the parser paper - check gab's slides