Changelog

isovector · isovector · commit 562502dff750 · 2021-10-21T12:29:39.000-07:00
diff --git a/changelog.d/5-internal/polysemy-check-spar b/changelog.d/5-internal/polysemy-check-spar
@@ -0,0 +1 @@
+Fix a bug in the IdP.Mem interpreter, and added law tests for IdP

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+Fix a bug in the IdP.Mem interpreter, and added law tests for IdP`