Move everything to old
library tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net>
add left,CPS lists to library Signed-off-by: Jim Pryor <profjim@jimpryor.net>
tweak Oleg's rev,list_equal Signed-off-by: Jim Pryor <profjim@jimpryor.net>
add in Oleg's list_equal Signed-off-by: Jim Pryor <profjim@jimpryor.net>
library: added Oleg's revappend Signed-off-by: Jim Pryor <profjim@jimpryor.net>
library: tweak gcd Signed-off-by: Jim Pryor <profjim@jimpryor.net>
added gcd,lcm to library Signed-off-by: Jim Pryor <profjim@jimpryor.net>
assign 4: hints for list_equal Signed-off-by: Jim Pryor <profjim@jimpryor.net>
library: 1st,2nd->fst,snd Signed-off-by: Jim Pryor <profjim@jimpryor.net>
add list_equal to library (commented out) Signed-off-by: Jim Pryor <profjim@jimpryor.net>
library tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net>
arithmetic -> lambda_library Signed-off-by: Jim Pryor <profjim@jimpryor.net>