misc things related to plunder
b1c56f1 use delay
~mhueschen pushed to ~mhueschen/plunder-related git
d5dec69 ignore ghc compiled outputs
~mhueschen pushed to ~mhueschen/plunder-related git
77bab32 add LeanCheck core
~mhueschen pushed to ~mhueschen/plunder-related git
eafb2e5 add equality operators / PropResult
~mhueschen pushed to ~mhueschen/plunder-related git
d3d9f51 add shell.nix
~mhueschen pushed to ~mhueschen/plunder-related git