Search
❯
May 24, 20261 min read
pattern { M -> N; M [InIdiom]; N [Idiom]; }
An Idiom depends of an InIdiom (nested idiom are not allowed).
Idiom
InIdiom