Arec Jamgochian

Ref: http://ba-ngu.vo-au.com/vo/RVVD_LMB_TSP14.pdf

I as valid covariance matrix

1

allow for multiplications of I to be valid inputted covariance matrices

Parameterize abstract filters

1

https://github.com/sisl/GaussianFilters.jl/blob/1aa2a648021ea9c558b114f5d85065761a7d1625/src/ekf.jl#L9-L15 `ExtendedKalmanFilter` should be parameterized by DynamicsModel and ObservationModel types.

Why extend Core.eval vs. Base.MainInclude.eval?

3

What is the benefit of extending `Core.eval` instead of `Base.MainInclude.eval`? I.e. could [these](https://github.com/sisl/ExprRules.jl/blob/12dae5eaa546c071d4178940a19d05b56d98faee/src/ExprRules.jl#L410) lines instead be `Base.MainInclude.eval(rulenode::RuleNode, grammar::Grammar) = Core.eval(Main, get_executable(rulenode, grammar))`? This might make more sense with the desired...