[spec] implicit differentiation
[notes.git] / spec / sequences.md
2018-06-16 consolidate notes