Jeffrey Benjamin Brown
Jeffrey Benjamin Brown
I am new to Idris, roughly fluent in Haskell. I created a clean environment using stack, and cloned the [idris-demos](https://github.com/idris-hackers/idris-demos/) repo in it. I saw a Git issue there saying...
I'm experimenting with different ways of getting something done, and the fact that each time I change the recipe to something I believe is equivalent, it gets rebuilt, is slowing...
Judging from the syntax in the example, this looks wonderful. But how do I use it? Suppose I write a valid rules.py file. Is it just a matter of copying...
I will happily leave behind almost everything I had to learn about Makefiles. But one feature I might miss is the ability to define phony targets. In a makefile, if...
Adds two user-facing functions (and a number of coder-facing helper functions): (1) `sched` is like `jumpIn`. Whereas `jumpIn` schedule one cycle to take over at some point in the future,...
Add an explanation focusing on the interpretations of `part` and `whole`. Based on this [discussion on the forum](https://club.tidalcycles.org/t/what-are-the-part-and-the-whole-in-an-event/4414/8).
`meta` lets you apply a pattern whose elements are pattern transformations like `fast 2`. `replace` makes it easier to use `meta`, and probably has other uses; it lets you turn...
I just posted this on StackOverflow. Might be a softball for you. https://stackoverflow.com/questions/49468311/using-haskell-for-real-time-audio-streaming-on-linux
When I run the `change` function from the [section on futumorphisms](https://blog.sumtypeofway.com/recursion-schemes-part-iv-time-is-of-the-essence/), it reports that there are 3 ways to make change for 10 cents. But it seems like there are...
This looks beautiful. Thanks for building it. I ran stack new (using resolver: lts-9.4) to make a sandbox called sg for trying SourceGraph. I added SourceGraph to the build-depends in...