Open jconti opened 8 months ago
assoc-some is very useful, and assoc-conj might complement it well. An example is in ring-codec here
assoc-some
assoc-conj
ring-codec
assoc-someis very useful, andassoc-conjmight complement it well. An example is inring-codechere