Giters

Risto-Stevcev / idris-comonad

An implementation of comonads in idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

idriscomonadcomonads

idris-comonad

Latest release License

An implementation of comonads in idris

About

An implementation of comonads in idris

idriscomonadcomonads

License:MIT License

Languages

Language:Idris 100.0%