Passed
Push — termist ( 9eff9a...3f4dee )
by Jeroen De
12:42
created

Changes

1 added class/operation
Arrow A TermList::addAll() added
9.42
▶   ± 0
Head
Jeroen De Dauw  
Rename add to addAll
Base
Jeroen De Dauw  
Add TermList::add