davidgarland/lean-profunctors davidgarland/lean-profunctors

  • Stars
    star
    1
  • Language Lean
  • License
    MIT License
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
davidgarland/lean-profunctors
github

davidgarland

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A port of profunctors from Haskell to Lean 4.

More Repositories

1

nim-hats

An efficient implementation of preloading size-doubling hashed array trees.
Nim
4
star
2

named-binary-tag

NBT (named binary tag) serialization and deserialization
Haskell
3
star
3

c-polymorphism

How to do polymorphism in C efficiently
C
2
star
4

dgkiss

My own GKISS repository, for whatever packages I happen to need.
Shell
1
star