pcarbonn

Can't see the code that is run

1

When I run birdseye from a terminal, the website allow me to click on a call to see the source code of the function that is called, and view the...

clicking on a link to a local file should open the file in markdown editor

1

Clicking on `[more info](moreinfo.md)` should open the `moreinfo.md` file in the markdown editor, not in the VSCode text editor. Related to [issue 17](https://github.com/zaaack/vscode-markdown-editor/issues/17).

how to disable trace warning ?

1

I like to use the autorun feature of ghcid : it runs my tests as soon as I save my program, provided there is no error or warning at compilation....

The following program answers X=0, which is not correct because P[0] is 1. ``` python pyDatalog.create_terms("X,Y,p") (p[X]==0)

I would find it very useful to have a terminology section. It would define, at a minimum, what is a branch, a patch, a (stage/unstage) change and a commit, and...

proposal to collaborate

4

After seeing nrdatalog2sql, I thought we might want to collaborate. I've developped a datalog interpreter in Python, called [pyDatalog](sites.google.com/site/pydatalog/), which can connect to SQL backends via SQLAlchemy. It has had...

I followed the instructions to install on a Linux/Ubuntu, with Nim 1.6.6, but I get the error in title. (I just changed `helloworld` by `chatbot`) I'm using choosenim v.0.7.4. The...

How to compare 2 EADT values ?

4

I'm tring to compare 2 EADT values, but I get: No instance for (Data.Functor.Classes.Eq1 (VariantF '[ValF, EmptyNoteF])) arising from a use of ‘==’

Excessive compile time with more than 10 constructors

1

Reload time of my program in ghci takes more than 20 seconds when my EADT has more than 10 constsructors. As I add more constructors, it gets exponentially worse.