Junyoung/"Clare" Jang
Junyoung/"Clare" Jang
@tsani Could you take a look? It looks like signature loading has an issue.
I was about to ask Brigitte and you abou this! Thank you for bringing this up. However, I'm not sure whether python will be a good solution, regarding the fact...
I'm not sure whether it's normal or not, so I wrote this for recording purpose. By repeating the last pattern, Beluga repeats the same non-covered cases. ``` LF a :...
I don't have enough time to manage this PR, so I close this.
Sure. I will post it as soon as I can access my PC.
With this code ```tex \begin{prooftree} \AxiomC{A} \AxiomC{B} \AxiomC{C} \BinaryInfC{D} \BinaryInfC{E} \end{prooftree} ``` the package gives 
If you don't like the package, I think https://www.ctan.org/pkg/ebproof would also work for the task. In that package, the following code ``` \begin{prooftree} \infer0{\vdash A} \hypo{\vdash B} \infer1{\vdash B, C}...
@DXsmiley any updates?
Could you add, - the version of HLS you are using (you can check it with `haskell-language-server-wrapper --probe-tools`), - [The log from VSCode](https://github.com/haskell/vscode-haskell#troubleshooting) using the following "make-it-look-nicer" format: `````HTML LSP...
Great, thank you! Maybe it's related with hiedb update? CC. @wz1000