Skip to content

relax as_iter() to allow any atom to terminate the list#170

Merged
arvidn merged 1 commit intomainfrom
relax-as_iter
Mar 31, 2025
Merged

relax as_iter() to allow any atom to terminate the list#170
arvidn merged 1 commit intomainfrom
relax-as_iter

Commits

Commits on Mar 31, 2025