DerivativeID should be renamed to DerivativeId (change the last letter to lower-case) - Githubissues

facebookresearch / diffkt

A framework for automatic differentiation in Kotlin

MIT License

60 stars 6 forks source link

DerivativeID should be renamed to DerivativeId (change the last letter to lower-case) #34

Open gafter opened 2 years ago

gafter commented 2 years ago

Similarly its subclasses should be renamed.