Tom Smeding
Tom Smeding
While reading the source, I noticed that a number of commands, at least `head` and `cat` when given a file argument, read in the entire file in memory before doing...
**Description** The fusion pipeline tries to express array shape queries in expressions (with the `shape` primitive) in terms of shapes of argument arrays if not doing so would prevent fusion....
**Description** For certain contrived inputs, fusion leaves unused program fragments in the output AST. It seems this can happen when a node was originally used, but due to expression simplification...
I am submitting a... - [x] bug report - [ ] feature request - [ ] support request => you might also like to ask your question on the [mailing...
## Rationale `bwrap` is a sandboxing utility, and one usually sandboxes a process to control its access to resources. One of the resources that one might want to control is...
Inspired by https://github.com/haskell/cabal/issues/6481#issuecomment-1934909998 I get that there are many colourable panels on the bikeshed that is `cabal env`, and even many real engineering choices and challenges, but it would be...
The bounds in the cabal file for llvm-hs-pure exclude `bytestring-0.11.0.0`, which is correct since it doesn't compile with `bytestring-0.11.0.0`. However, the rest of the world is transitioning to it, so...
Consider the following code (using the springyui.js framework): ```javascript var graph = new Springy.Graph(); var nodes = []; jQuery(function(){ jQuery('#springydemo').springy({graph: graph}); }); var nodeIndex = 0; var interval = setInterval(function()...
In #4 I asked about how to update the library to support newer versions of Agda and the standard library, but it seems I already managed: no more `TERMINATING`! Hence...
Thank you for writing this wonderful library, I was thrilled to read the type of the top-level `dec` function in `Presburger.agda` and read the (very clear and readable!) syntax and...