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