Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
python Directory Reference
Directory dependency graph for python:
src/main/modules/dedekind/python

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).