Lef Ioannidis

icon indicating a website link http://elefthei.github.io icon indicating an email [email protected]

icon company University of Pennsylvania icon location Philadelphia, PA icon location Making AI write proofs about programs @ MSR

Results 7 comments of Lef Ioannidis

Stand-alone with C++17 std library, no boost

Thanks @solodon4 for the fast response! Two more cents from me, an unimportant one first; In addition to `std::variant`, `std::any` made it into C++17 which could replace `boost::any` which should...

Stand-alone with C++17 std library, no boost

Check out the functional C++17 I am generating, I started with Mach7 but ended up writing my own with std::variant https://github.com/mit-pdos/mcqc Look at the test folder. On Thu, Nov 21,...

Update submodules as old ones are rejected by GitHub

+1

Installing from Git shows no kernels except python3

yep, all are there.

Induction principles extract to ill-typed C++ code

Does this work without the `static_assert`? I don't remember why I enforce function types inside templates, perhaps this helps GCC with function resolution. But indeed there seems to be a...

Induction principles extract to ill-typed C++ code

Using `std::function` sounds reasonable to me, but I do not expect it will solve all your problems. Admittedly I did a bad job with higher-order functions, but only because I...

Induction principles extract to ill-typed C++ code

Ok that looks promising. I am not able to offer much help until the Fall but I would be happy to merge PRs that fix higher-order functions in a reasonable...