Gabriel Radanne
Gabriel Radanne
Reading list and/or references - [RDC]: Di Cosmo (Roberto). - Isomorphisms of types: from lambda-calculus to information retrieval and language design. - Birkhauser, 1994. - [Rit90] Mikael Rittri. Retrieving library...
That was a mistake. I just removed it.
A new very interesting example: [An extendable interpretor](http://www.cs.tufts.edu/~nr/pubs/maniaws-abstract.html).
It would also be nice to study the various circuit calculus, they sometimes provide similar features.
Also worth studying: the link mixins in backpack: http://research.microsoft.com/en-us/um/people/simonpj/papers/modules/backpack-2016.pdf
Tada: https://github.com/Drup/functoria-lua !
How do you implement the ip/udp interface with the v4/v6 parameter when `typ` is not covariant and you don't use the constructor directly. This is why it's exposed, to be...
@yallop Do you have an idea for the issue I mentioned ?
opam give you packaging/dependency management, not building. This is a feature wish, there is no reason to close it, even if nobody is working on it.
This feature is starting to get more desirable for more than just keys. Currently we have the following constructs: - A configurable, with some dependencies and keys. - If -...