|
Dedekind 0.0.0
A structuralist C++23 Module Library
|

Files | |
| nanobind_jlt.cpp | |
| Nanobind extension module for the Jlt arrow DSL (#961). | |
| nanobind_pst.cpp | |
| Nanobind extension module for Pst: the truth chains (#1001) and the sets over them, per the paper's Lwv grammar (#975). | |