Lef Ioannidis
Lef Ioannidis
It would be great if it was possible to load CSV from a MemoryFile https://github.com/torch/torch7/blob/master/doc/memoryfile.md Right now it only accepts a path which makes it hard to use in a...
Hello, Thanks for rapidcheck, its great both in API and performance. I was wondering what is the recommended way of testing polymorphic containers, something like: ``` // Here some type...
Should be: Coq struct type declarations -> C struct type declarations + accessor functions
Currying is easily supported and experiments show lambdas are elaborated at compile time by clang++, use `curry()` in `include/curry.h`.
Instead of being ``` template using list = std::variant ``` Make it be ``` template using list = std::shared_ptr ``` Which makes `addPtr` redundant, a good thing!
Cyclical recursive references of constructors is a problem. Hopefully, forward declaration in C++ works, so the following for a list is better ``` template struct Coq_nil; template struct Coq_cons; template...
Right now, substituting free types is not kept in context as a constraint and thus we cannot do constraint solving. Add `CTFree` constraints in the context and remove them according...
Fixpoint expressions are annoying, because they capture the enclosing scope and must be outlined together with their scope references to work in C++
Context is now a map, which does not allow for two polymorphic definitions to coexist, although clang clearly allows that (overloading). Substitute Map for Multimap in Context definition. http://hackage.haskell.org/package/multimap-1.2.1/docs/Data-MultiMap.html
I'm trying to build BeakerX from source, hopefully to get autocomplete for Scala. The last release from Conda has no auto-complete unfortunately. Following these instructions after I cloned the repo....