Philipp Hausmann
Philipp Hausmann
I am currently writing code involving quite a lot of ``String`` manipulation, and currently agda-prelude doesn't offer much functionality for plain ``String``s yet. I can go via ``List Char``, but...
I am trying to package slimserver for [NixOS](http://nixos.org/). However, I noticed that the repository contains a great amount of copied CPAN libraries. This makes it difficult to package slimserver, as...
It would be nice to be able to restrict the selection to full weeks. I would imagine that this works similar to selecting a full date/day, but highlights the full...
Currently we build Vectors via List. As both the binary and compact protocol provide the size of lists, I guess we could deserialize vectors more efficiently using `Data.Vector.create`. Needs some...
Tuple values not implementing the Comparable interface cause the jdbc tap to throw an exception. This means that no values of type byte[] can be saved to the db. The...
WxPack doesn't build GLCANVAS support (wxUSE_GLCANVAS), which makes it impossible to compile the wxHaskell (https://github.com/wxHaskell/wxHaskell) bindings using wxPack. Can GLCANVAS support be enabled?