James Carlson
James Carlson
VSCode is not working reliably with adga-mode. I have an up-to-date copy and am using Agda version 2.6.1.1-fce01db. My experience of today: VSCode worked normally for a few hours, then...
Hello, I'm having a problem configuring ARC to work in my app. First, when I use the configuration as described below, the file is loaded into local storage. If I...
It would be great to add the html backend features of `asciidoctor-latex` to asciidoctor-chrome-extension. The repo is at https://github.com/asciidoctor/asciidoctor-latex. For a description of what `asciidoctor-latex`, does, see http://www.noteshare.io/section/asciidoctor-latex-manual-intro For an...
Hi Keith! In my `elm.json` file I have ``` "type": "application", "source-directories": [ "src", "/Users/jxxcarlson/dev/elm/projects/meenylatex/src", "/Users/jxxcarlson/dev/elm/projects/elm-markdown/src" ], ``` and in `MU.elm` I have ``` module MU exposing (..) import MiniLatex.EditSimple...
Hi, I've been running elm-doc-preview on [this project](https://github.com/jxxcarlson/minilatex-b). The READEM.md file shows up, but no documentation for modules -- they are not listed in the usual place on the right....
Below (1) is the error message I get on file (2). Example: I opened the file in emacs, did ctrl-C, ctrl-L. It did the syntax checking. Then I did ctrl-C,...
This PR adds interface `Test.roc`: ``` # This interface provides a simple way to run tests. A test is a record # with two fields: # # Test : {...
Beautiful code! Have been studying it and have made some additions, most importantly a scrolling feature. Scrolling is managed by the module `Window` which determines the range of lines of...
Hi, I've run into an error I can't seem to get around -- could just be me, but here is a stripped down version. The problem arises with code like...
Add pipeline functionality so that you can do this: ``` type alias Foo = { bar : String , baz : Int } fooDecoder : Decoder Foo fooDecoder = succeed...