Skip to content

argumentcomputer/OpenSSL.lean

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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