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