Geeks
Risto-Stevcev
/
idris-comonad
An implementation of comonads in idris
Primary Language
Idris
MIT License
MIT
idris-comonad GitHub
Markdown
Readme
0
Issues
2
Stargazers
3
Watchers
idris-comonad
An implementation of comonads in idris
