| (defun vulpea-project-p () | |
| "Return non-nil if current buffer has any todo entry. | |
| TODO entries marked as done are ignored, meaning the this | |
| function returns nil if current buffer contains only completed | |
| tasks." | |
| (seq-find ; (3) | |
| (lambda (type) | |
| (eq type 'todo)) | |
| (org-element-map ; (2) |
Should help with avoiding errors like:
No version of Cypress is installed in: /home/rkb/.cache/Cypress/6.2.1/Cypress
Please reinstall Cypress by running: cypress install
----------
Cypress executable not found at: /home/rkb/.cache/Cypress/6.2.1/Cypress/Cypress
The package that linked you here is now pure ESM. It cannot be require()'d from CommonJS.
This means you have the following choices:
import foo from 'foo' instead of const foo = require('foo') to import the package. You also need to put "type": "module" in your package.json and more. Follow the below guide.await import(…) from CommonJS instead of require(…).
| Classes | |
| * Keith Devlin - Introduction to Mathematical Thinking - https://www.coursera.org/learn/mathematical-thinking | |
| * Michael Genesereth - Introduction to Logic - https://www.coursera.org/learn/logic-introduction | |
| * Robert Harper - Homotopy Type Theory - http://www.cs.cmu.edu/~rwh/courses/hott/ | |
| Books and Articles | |
| * Benjamin C. Pierce - Types and Programming Languages - https://www.cis.upenn.edu/~bcpierce/tapl/ | |
| * x775 - Introduction to Datalog - https://x775.net/2019/03/18/Introduction-to-Datalog.html | |
| * Bartosz Milewski - Category Theory For Programmers - https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ | |
| * Benjamin C. Pierce et al. - Software Foundations - https://softwarefoundations.cis.upenn.edu/ |
If you are using this already, consider changes soon due the discussion around current ESX proposal.
Feel free to keep an eye on udomsay as that will be the implementation reference for consumers.