d1cb386 PLAN.py: add optional tracing

~mhueschen pushed to ~plan/plunder git

801e113 PLAN_SPEC: fix L & B rules

~mhueschen pushed to ~plan/plunder git

efb1079 seed README tweaks

~mhueschen pushed to ~plan/plunder git

177bb19 fix A rule PLAN_SPEC.txt

~mhueschen pushed to ~plan/plunder git

ab7c526 update demos

~mhueschen pushed to ~plan/plunder git

7be315e %ask/%tell documentation tweaks

~mhueschen pushed to ~plan/plunder git

6a4a41b ConsoleExe options: fix typo & parallel structure

~mhueschen pushed to ~plan/plunder git

004f820 add self to AUTHORS

~mhueschen pushed to ~plan/plunder git

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