Giters

kiana-S / idris2-profunctors

Mirror of https://git.tokinanpa.dev/toki/idris2-profunctors

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

idris2idris2-ecosystemprofunctors

Profunctors in Idris2

This library is a loose port of Haskell's profunctors library.

About

Mirror of https://git.tokinanpa.dev/toki/idris2-profunctors

idris2idris2-ecosystemprofunctors

License:MIT License

Languages

Language:Idris 100.0%