Replace `psq` with `qual`

advancedresearch / path_semantics

A research project in path semantics, a re-interpretation of functions for expressing mathematics

MIT License

160 stars 13 forks source link

Replace `psq` with `qual` #1215

Open bvssvni opened 2 years ago

bvssvni commented 2 years ago

The psq name of path semantical quality in papers makes it slightly more difficult to translate back and forth between e.g. Pocket-Prover and papers in the path semantics project.

By changing name to qual, it should get easier to translate back and forth.