Andrew Walter
Andrew Walter
When `modify-raw-defun` from the hacker books is used inside of a book that is certified and loaded via `include-book`, the modified `defun` does not use the correct "old definition" for...
I apologize if this isn't the right place to post this question! I'm looking for a type predicate subpattern that also binds the value it's run on. My use case...
Some students prefer video chat while some prefer text chat. It might be useful to allow students to indicate a preference when they ask their question.
We've tried a bunch of approaches for getting ACL2/ACL2s installed on students' computers, but it generally ends up being painful. There are a few reasons one might want to do...
When responding to PR #1602, I had many thoughts about the installation page, but decided they belong in this issue rather than that PR. Below is entirely my opinion, feel...
The link provided at the beginning of Chapter 9 to Chris Okasaki's JFP article that discusses lazy queues is broken, and redirects to an informational webpage discussing West Point's CS...
I ran into this when updating the `lsl` package from commit a4ca8306 to commit f4edfabb. Between these commits, a new dependency was added to `lsl-lib` (which is a dependency of...
cl-z3 provides Common Lisp bindings for the Z3 Satisfiability Modulo Theories solver. In short, this interface allows one to leverage Z3's ability to solve constraints involving variables over numbers, strings,...
There is currently [discussion in WHATWG](https://github.com/whatwg/html/issues/11523) regarding the potential removal of XSLT from the HTML standard. This is relevant to XDoc since the core of the web viewer is powered...