(list (amb 1 2 3) (amb 'a 'b))
can have six possible values:
(1 a) (1 b) (2 a) (2 b) (3 a) (3 b)
https://sarabander.github.io/sicp/html/4_002e3.xhtml
@neauoire I love amb. It’s a good gateway drug to probabilistic programming.
@neauoire A bit like junctions in Raku: 1|2|3, 'a'|'b'
@neauoire Has a #Java2k feel to it?
@neauoire I love amb. It’s a good gateway drug to probabilistic programming.