This repository was archived by the owner on Feb 14, 2021. It is now read-only.

Commits

Commits on Aug 28, 2018

Commits on Aug 27, 2018

extracted applicative law tests to a separate class (#21)
kolov
authored

Commits on Aug 26, 2018

Synthesizer - example of Behaviour. Behaviour.ap doesn't work as expected yet. (#17)
kolov
authored

Commits on Aug 17, 2018

Commits on Aug 15, 2018

Future=IO[Void,(Time,A) (#15)
kolov
authored

Commits on Aug 6, 2018

readme
kolov
committed
formatted (#5)
kolov
authored
Algebra proposal faithful to Elliot's paper (#4)

VledicFranco
authored and
kolov
committed

Commits on Jul 24, 2018

Commits on Jul 8, 2018