doc fix
Merge branch 'poly_record' into leopard
[%eta] e es => fun x -> e es x
merge with eta
depend and README
merge with eta