Closed ivanperez-keera closed 7 years ago
MSFs as described in "FRP, Refactored" are equivalent to VarT up to alpha-renaming. This makes all other properties of MSFs apply to VarTs too.
VarT
There is a new paper on MSFs about time transformations and Arrow laws (draft). All of this could be helpful for the users of varying.
MSFs as described in "FRP, Refactored" are equivalent to
VarTup to alpha-renaming. This makes all other properties of MSFs apply to VarTs too.There is a new paper on MSFs about time transformations and Arrow laws (draft). All of this could be helpful for the users of varying.