Skip to content

Register weighted-microdata rules, with AST guards and #767 proofs - #3938

Draft
anth-volk wants to merge 1 commit into
remove-economy-comparisonfrom
microdata-weight-rules
Draft

Register weighted-microdata rules, with AST guards and #767 proofs#3938
anth-volk wants to merge 1 commit into
remove-economy-comparisonfrom
microdata-weight-rules

Register the weighted-microdata rules, with guards and proofs

06082a0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar