~mhueschen

Bellingham, WA, USA

https://www.mhueschen.space/

plunder-related

misc things related to plunder

Activity

b22d03f remove redundant param?

1 year, 3 months ago via plunder-related

b1c56f1 use delay

1 year, 5 months ago via plunder-related

d5dec69 ignore ghc compiled outputs

1 year, 8 months ago via plunder-related

77bab32 add LeanCheck core

1 year, 8 months ago via plunder-related

eafb2e5 add equality operators / PropResult

1 year, 8 months ago via plunder-related

d3d9f51 add shell.nix

1 year, 8 months ago via plunder-related

34a1d3f init

1 year, 8 months ago via plunder-related
~mhueschen/plunder-related

New git repository added

1 year, 8 months ago via plunder-related