search

zenna / Arrows.jl

14 stars 2 forks source link

Implement the correct logic for subarrow deletion after invert #93

Open zenna opened 6 years ago