misc things related to plunder
b22d03f remove redundant param?
~mhueschen pushed to ~mhueschen/plunder-related git
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
34a1d3f init
~mhueschen pushed to ~mhueschen/plunder-related git