Sridhar Ratnakumar
Sridhar Ratnakumar
This may be worth adding to the wiki. Otherwise feel free to close it. From the 18th century: > Fordyce was an eccentric, who ate only one meal of meat...
This might be of interest to functional programmers: https://github.com/statebox/idris-ct
Are multitrees in scope for this library? It is basically a DAG with certain constraints. Here's an explanation of, and a use case for, multitrees: https://github.com/climech/grit#multitrees
To reproduce, run `nix-build static.nix` (will take hours to compile). Looks to be https://github.com/NixOS/nixpkgs/issues/118731  _Originally posted by @srid in https://github.com/srid/neuron/discussions/622#discussioncomment-774879_
Revert #431 and fix project.nix to propagate former neuron-search build dependencies to neuron.
~~Depends on~~ Relates to #567 Checkout how mdBook does full-text search: https://rust-lang.github.io/mdBook/ ... it seems to be using http://elasticlunr.com/docs/index.html
Suppose we use Pandoc's [JSON filters](https://pandoc.org/filters.html), then add a new metadata property to YAML frontmatter such as `filter: foo.py`, and have neuron look for the script file named `./neuron/filters/foo.py`. Then,...
https://github.com/srid/pandoc-link-context/issues/1
It should be resilient. Looks like renaming on another node triggers it. 