User avatar
privTri Volpeon areonNSmol @volpeon@icy.wyvern.rip
5d
No more tail fun for me neofox_pensive
Koka code featuring a function `pub tail fun observe<k :: V, d :: V, c :: V, a :: V, e :: E>`. The editor shows a warning: "tail fun observe: algebraic effects other than <exn,div> may cause allocation."