search

turion / rhine

Haskell Functional Reactive Programming framework with type-level clocks
http://hackage.haskell.org/package/rhine
124 stars 21 forks source link

Fix naming of initial and final #346

Closed turion closed 3 months ago

turion commented 3 months ago

For some reason, I misnamed initial and final algebras, and direct recursion. This PR fixes it.

turion commented 3 months ago

Thinking about it once again I notice that this is not final nor initial encoding, but simply coalgebraic encoding.