Skip to content

generalize savedProp to let the user control the position of the type-level later

Ralf Jung requested to merge ralf/saved_prop into master

This is an alternative to !72 (closed)

Edited by Amin Timany

Merge request reports