Re: [Proposal] The Formal Methods in GNU Guix Working Group

2019-12-28 Thread Vicente Eduardo
I'm interested on this topic and I will try to help as much as I can. The original idea of Brett is very interesting. In my case I would do the base compiler implemented in C and using yacc (for example) to implement the grammar. But it won't make sense in a community like Guix where most people k

Re: Guix in Docker for automated CD/CI of complex software

2019-11-22 Thread Vicente Eduardo
60bfc4030c/source/metacall.scm My idea is to generate a zip with all libraries self contained, rather than a Docker image. El vie., 22 nov. 2019 15:23, Hartmut Goebel escribió: > Hi, > > > Am 21.11.19 um 15:41 schrieb Vicente Eduardo: > > In order to achieve this I have deve

Guix in Docker for automated CD/CI of complex software

2019-11-21 Thread Vicente Eduardo
Hello Guix Developers. I am developing a project called MetaCall (https://github.com/metacall/core), which is a library that allows calling functions between programming languages. In short, it is a polyglot that allows importing code from other languages and using it as normal code. Since one ye