Yeah however @Zgarb feature-request: ^ make Ċ0 equivalent to Jelly's m0 (make it append the list to its reverse), or at least make it do something useful.
@EriktheOutgolfer This is expected (altough annoying) behavior. The type of S+↔ can't be both [Int] -> [Int] and [[Int]] -> [[Int]], so the type check fails.
@Mr.Xcoder That's a good idea, especially since it currently just hangs...