Utilities for testing code equivalence
education
metaprogramming
equality
type-theory
wolfram-language
canonical-forms
equivalence
code-comparison
code-transformations
intension
-
Updated
Jun 25, 2024 - Mathematica
Utilities for testing code equivalence
Add a description, image, and links to the code-transformations topic page so that developers can more easily learn about it.
To associate your repository with the code-transformations topic, visit your repo's landing page and select "manage topics."