search

zaimoni / Franci

Math AI prototype from the late 1990's. Inspirations are paraconsistent logic and Bernay's exposition of set theory.
Boost Software License 1.0
0 stars 0 forks source link

C++17 conversion #2

Open zaimoni opened 4 years ago

zaimoni commented 4 years ago

Including but not limited to eliminating those pre-C++98 workarounds for the lack of language support for move construction and assignment, in particular.