search

JuliaSymbolics / Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
https://juliasymbolics.github.io/Metatheory.jl/dev/
MIT License
355 stars 46 forks source link

fix typos #228

Closed spaette closed 2 months ago

spaette commented 2 months ago

Can you please target ale/3.0 branch?

@0x0f0f0f

replaces 227( Closed)

a single U+2019 character found in the repo

for consistency it was replaced with U+0027