0xd34df00d
0xd34df00d
https://github.com/srcreigh/aluffi/blob/7d18db3cfbdcbc6921d67e2cc94820d149c5620f/ch1/solutions.tex#L1159 I'm not sure that's the case. Consider $A = { a, b, c }$ with $\~_A$ being the reflexive transitive symmetric closure of $a \~_A b$, and $B =...
One thing I really miss from, say, Idris is case splitting a variable in a function definition or a `case` expression. For instance, having a type like ```haskell data FooType...
I'm thinking of making a small PR to vmime, and I thought whether I can use C++11-only features (`auto` and range-based for loops, for instance). What's your opinion on dropping...
When trying to do `folder::open()` on a GMail folder with a path of a single component `[Gmail]`, firstly a `command_error` exception is thrown, then during stack unwinding and destruction of...
I noticed this when running tests and benchmarks of `bytestring`, which uses tasty (and tasty-bench). Compare  vs  So far this looks like a tasty's issue, as I don't...
# Steps to Reproduce 1. Create a file `Sample.idr` with the following contents: ```idris record Foo where constructor MkFoo someN : Nat somePrf : someN = S someNPred -- somePrf...
First of all, thanks for the great library! It has been a breeze so far, and I really enjoyed writing DB access layer with it — something that's not happening...
For instance, given ```haskell f 1 = 1 f n | n `elem` [2, 3] = 2 ``` yields  (third line just for comparison) vim 8.0.1056, `syntax/haskell.vim` just...
Hspec is great, and the `parallel` combinator is particularly awesome! Unfortunately, there's a tiny shortcoming with it: the examples in each individual QuickCheck property test still get to run sequentially....
* Adds dependent folds, where the type of the accumulator depends on the current length of the `Vect`. * Changes the `Foldable` instance for `Vect` to be expressed via the...