Bas Spitters
Bas Spitters
He seems to have disappeared from the internet. There are no papers describing substantial contributions to the corn library. On Mon, Aug 3, 2020 at 2:34 PM Théo Zimmermann wrote:...
The reason we did so was because we do not have a substantial development of non-commutative rings. I'd like to wait with the change until there is a need for...
The references are here: http://corn.cs.ru.nl/pub.html Luís Cruz-Filipe, Pierre Letouzey A Large-Scale Experiment in Executing Extracted Programs Electr. Notes Theor. Comput. Sci. 151(1): 75-91 (2006) Luis Cruz-Filipe and Bas Spitters Program...
Some of the code is e.g. here: https://github.com/coq-community/corn/tree/master/fta
We already have such a list: http://corn.cs.ru.nl/pub.html from my phone On Sat, Aug 15, 2020, 20:45 Karl Palmskog wrote: > There are quite a few publications in the regular and...
Added the missing publications, and put a link in the README. Thanks @palmskog
Thanks. That's a good suggestions. It will take some time to convert the list from the website into meta.ml. I don't think the Hybrid system project was ever integrated into...
We've tried to resolve these issues here. We would like to move to MIT. https://github.com/coq-community/corn/pull/99
I believe there is a tool that can do this, isn't there? I'd be happy to merge a PR. I don't know when I have time to do it myself.
Could it be a scope problem? On Wed, Jan 26, 2022 at 10:58 AM MSoegtropIMC ***@***.***> wrote: > @spitters : I have issues compiling > examples after fixing the require...