This repository was archived by the owner on Mar 14, 2026. It is now read-only.

Add derivative rules and drop v0.5#5

Merged

jrevels merged 6 commits intomasterfrom

Apr 28, 2017

Commits on Apr 26, 2017

tmp
jrevels
committed

Commits on Apr 27, 2017

Commits on Apr 28, 2017