Théophane Hufschmitt

I manage to make a simple failing example (except that it's `libpixman` which it fails to load instead of `libEGL`): I created a branch of sparkle [here](https://github.com/regnat/sparkle/tree/libEGL-dependency) where I added...

I'll have to double-check, but I think that I also had failures of non-NixOS builds (but still using Nix). As a temporary workaround, do you think that installing Nix and...

Answering my own question: bind-mounting my nix-store on a docker container allows the jar to work, so pulling in the dependencies via Nix seems to do the trick

I confirm that building on a non-nixos docker image doesn't fix the problem. (anyway, this is not top-priority for me, as the part of the program that needs these dependencies...

Having clodl output tar archives would be really handy when using it to build containers since the `container_image` rule from `rules_docker` can directly take a tgz as input. Atm the...

I’m a bit skeptical of the `x | #C1 | #C2 | #C3` way of writing intersections. As much as combining contracts that way makes sense for merging (say `(x...

I’m wondering whether having a “merging” for functions similar to the one for records would make sense (disclaimer: At least at a first look it’s unbearably complex). If we consider...

I like this a lot (esp the first proposal for the static typing). It has a [smart constructor](https://wiki.haskell.org/Smart_constructors) feeling, except built into the language (and with an explicit upcast), which...

> About the first one, do you mean to have sugaring for the imports? something like: import "./path/to/some.ncl" would be equivalent to ./path/to/some.ncl ? I had in mind something a...

Would this need to be built into Nickel proper? It looks like it could essentially be defined as a standalone library (or maybe I’m missing something?)