Jonathan Cubides

The URL is so long and It can be shorter

1

Is there any chance to provide the option to encode the url after /png/ or /svg/ in something like base64 or any other enconding. The URL required to plot certain...

.lagda.md support

2

I was wondering if you could please support markdown files, I would like to take advantage of the previewer for images and other stuff of markdown. What I have now...

floating of goal numbers

1

The following picture shows the issue, I'm using two panels. Maybe is just an issue with a z-index, I don't know.  If I scroll up then I got this...

Links don't work in the error messages.

5

 In the picture, If I hover the mouse over the reference line (blue link), nothing happens. Of course, I go myself the way to that line, but the cursor...

Hi, For citation of a named lemma, the example that works looks similar to: ``` Lemma (XXX). \label{lemmaXXX} : content..... ``` However, when I remove the name of the lemma,...

Whys is SublimeHaskell so cpu consuming?

2


Make this repo an Agda library to solve the exercises

1

To solve the exercises, it's much easier if the code is an Agda library. But then, maybe it is needed to add instructions on how to install it (e.g. use...

Add an option to vertically format imports

1

I was wondering if stylish haskell has currrently some way to have the imports with the next layout: ``` Haskell import OnlineATPs.Defaults ( getDefaults ) import OnlineATPs.Options ( Options (...