typednoteshale0.3.1

Haskell-inspired libraries for Lean 4 with maximalist typing
#haskell #web-server #warp #http #wai #networking #sockets #dependent-types
Sort by
  1. Git dependency.
    Found on Reservoir.

    doc-gen4v4.30.0-rc1

    Document Generator for Lean 4