Sandy Maguire
Results
113
issues of
Sandy Maguire
There's a bug? or something in pandoc that doesn't preserve indentation in some cases for some code fences. It requires a hacked pandoc: https://github.com/isovector/pandoc/tree/literate-agda and also a `--tab-stop=1000`
consider ```haskell type Foo = 'True ``` which breaks the lexer :(
```haskell > quickCheck' $ property' $ \(foo :: Int -> Int -> Int) -> foo 2 1 == foo 1 2 *** Failed! Falsified (after 3 tests and 10 shrinks):...
bug