OpenSSL bindings for lean (unfinished)

Build with nix build .

Dev env

Load dependencies and env variables into your shell.

Automatically

direnv activate

or manually

nix develop

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
native		native
.envrc		.envrc
.gitignore		.gitignore
LICENSE		LICENSE
OpenSSL.lean		OpenSSL.lean
README.md		README.md
flake.lock		flake.lock
flake.nix		flake.nix
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain