Zoe Paraskevopoulou

Last time I talked to Leo, we had some problems on how we could use set of outcomes to give semantics to function generators (there is no straightforward way to...

I'll send an email to the list!

Is there a way to define non-terminating functions in Coq, except than admitting termination?

Hi Matthieu, For CertiCoq, I'm working on adding support for extracting terms to specific C definitions (à la Extract Constant) and I think the same code can be used to...

Hi Danil, - We have not yet ported CertiCoq to Coq 8.12, but once we move to 8.12 we should be able to support primitive integers (at least without proofs...

Right now with typeclasses (@joom has some neat examples in becnhmarks/io and becnhmarks/hash). Because they're first class, we can parameterize the program with the interface and then, after compilation, apply...

This now works (modulo some minor changes to actually match the spec with the code): ``` constructor of Simple interface constructor() iff CALLVALUE == 0 creates mapping (uint=>uint) store :=...

Completed with #157.

I have the same issue, they do not seem willing to solve it. [Here](https://blog.fluence.network/fluence-developer-community) they say "If our account is eligible for a reward but you lost your private key,...