koka-diaries The code snippets of Koka language whose unique characteristic is it's algebraic effect typing and handling system.