remove redundant param? ``` type Port = (Addr, PortName) ``` so we already have an `Addr`.
net-syscall-prop.md: literal text from Sol's msg
use delay
add lorri/direnv .envrc
ignore ghc compiled outputs LeanCheck benefits greatly from `ghc -O2 LeanCheck.hs` as opposed to `runghc LeanCheck.hs`. `runghc Qc.hs` is already quite fast.
add LeanCheck core
add equality operators / PropResult
add shell.nix