Closed fchapoton closed 1 year ago
adding some links in the doc
also using {} for dicts, and other minor changes to the code
adding some links in the doc
also using {} for dicts, and other minor changes to the code