Commit 2023-01-17 06:03 946623b3
View on Github →feat: initial framework for props in norm_num (#1578)
No actual new behavior here, just the necessary modifications to NormNum.Core to allow evaluating propositions (like x < y) to True or False.
cc: @thorimur