Musa Al-hassy
Musa Al-hassy
**Is your feature request related to a problem? Please describe.** Some people would like to get Arabic instead of the currently forced default of English. In fact, it may be...
**Is your feature request related to a problem? Please describe.** A new link type, `riyadussalihin:...`, to obtain Islamic narrations and present them in English **or** in Arabic, according to a...
**Is your feature request related to a problem? Please describe.** Since we cache the Quran lookups ---which we should do for the Bible as well---, it would be nice to...
Here are two other possibly routes for literate programming with agda: + https://jesper.sikanda.be/posts/literate-agda.html + https://github.com/phillord/lentic
Update README.org with quick incantation to produce Jira markup in your clipboard, from Org source
Add a `:limit` parameter to the `org-ql-select`, `org-ql-query`, and `org-ql-search` family of functions, along with persistence and UI support in `org-ql-view`. An example use case: ```emacs-lisp ;; Use “g” to...
**List of needed documentation** * [ ] README.Algebra * [x] README.Axiom * [ ] README.Category * [ ] README.Codata * [x] README.Data * [ ] README.Data.Nat.Induction (exists but doesn't do...