(aux (cdr l)))]))])
(aux lst)))))
- (beta '(((a b) ()) (c (d ())))) ; ~~> 'a
- (beta '((() (a b) ()) (c (d ())))) ; ~~> 'a
+ (beta '(((a b) ()) (c (d ())))) ; ~~> 'a
+ (beta '((() (a b) ()) (c (d ())))) ; ~~> 'a
(beta '(() (() (a b) ()) (c (d ())))) ; ~~> 'a
- (beta '(() (() ()))) ; no leftmost atom, returns '()
+ (beta '(() (() ()))) ; no leftmost atom, returns '()
This function could also be written like this: