~mhueschen

Boulder, Colorado, USA

https://www.mhueschen.space/

plunder-related

misc things related to plunder

Activity

801e113 PLAN_SPEC: fix L & B rules

~mhueschen pushed to ~plan/plunder git

21 hours ago via plunder

efb1079 seed README tweaks

~mhueschen pushed to ~plan/plunder git

a day ago via plunder

177bb19 fix A rule PLAN_SPEC.txt

~mhueschen pushed to ~plan/plunder git

a day ago via plunder

ab7c526 update demos

~mhueschen pushed to ~plan/plunder git

9 days ago via plunder

7be315e %ask/%tell documentation tweaks

~mhueschen pushed to ~plan/plunder git

2 months ago via plunder

6a4a41b ConsoleExe options: fix typo & parallel structure

~mhueschen pushed to ~plan/plunder git

2 months ago via plunder

004f820 add self to AUTHORS

~mhueschen pushed to ~plan/plunder git

3 months ago via plunder

b22d03f remove redundant param?

3 months ago via plunder-related

b1c56f1 use delay

5 months ago via plunder-related

d5dec69 ignore ghc compiled outputs

8 months ago via plunder-related

77bab32 add LeanCheck core

8 months ago via plunder-related

eafb2e5 add equality operators / PropResult

8 months ago via plunder-related

d3d9f51 add shell.nix

8 months ago via plunder-related

34a1d3f init

8 months ago via plunder-related
~mhueschen/plunder-related

New git repository added

8 months ago via plunder-related