martials/old.martials.no
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Updated name of law

Browse Source
This commit is contained in:
Martin Berg Alstad 2024-06-27 19:23:47 +02:00
parent ed1fc8ef59
commit fea9b8324d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/types/types.d.ts vendored
View File

@ -60,7 +60,7 @@ type Law =
| "DE_MORGANS_LAWS" | "DE_MORGANS_LAWS"
| "ABSORPTION_LAW" | "ABSORPTION_LAW"
| "ASSOCIATIVE_LAW" | "ASSOCIATIVE_LAW"
| "DISTRIBUTION_LAW" | "DISTRIBUTIVE_LAW"
| "DOUBLE_NEGATION_ELIMINATION" | "DOUBLE_NEGATION_ELIMINATION"
| "COMMUTATIVE_LAW" | "COMMUTATIVE_LAW"