Leo Okawa Ericson
Leo Okawa Ericson
Separate issue for continuation on discussions from [here](https://github.com/oantolin/embark/issues/95#issuecomment-855268596) and [here](https://github.com/oantolin/embark/issues/95#issuecomment-860878020). tl;dr; I have written a target finder for org that uses org's own parser which atm can be found [here](https://github.com/Zetagon/literate-dotfiles/blob/master/config.org#org)....
I have jmdict2 from: http://download.huzheng.org/ja/ Normally when sdcv doesn't find an exact match it gives some suggestions back. lexic handles English dictionaries fine (the suggestions show up in the lexic...
@Alexendoo When I tested on my own with [a static server from npm](https://www.npmjs.com/package/http-server) I got MIME type errors even though Firefox's debugger showed the type to be "wasm". The problem...
I've discussed this before on the discourse https://org-roam.discourse.group/t/how-easy-would-it-be-to-extend-org-roam-with-backlinks-to-other-types-of-items/1582 . I'm not sure if this is a feature that should be in org-roam so I'm leaving this as a draft for...
I currently depend on https://orgmode.org/manual/TODO-dependencies.html to hide tasks that are not relevant now. It is possible to do a query for filtering out tasks blocked by subtasks but I don't...
I'm not sure if this is in the scope of this project so I'm opening this issue to ask about that. I have written a first implementation for refiling and...
`robe-start` just returns nil which breaks an assumption held by `set-repl-handler!`. Using `robe-inf-buffer` seems to have solved it. ----- - [X] I searched the issue tracker and this hasn't been...
The global view has long been pretty useless to me, I just have too many nodes for it (which isn't a problem of org-roam-ui btw!). As it stands I currently...
Hello, I translated a parts of the correctness proof for the compiler in the Concrete Semantics book into Lean and thought it could be useful for other people. I know...
Starting a project seems to come with two errors. The first one I managed to solve with the power of DuckDuckGo: change android plugin version from 2.2.3 to 2.3.3 using...