~mhueschen

Boulder, Colorado, USA

https://www.mhueschen.space/

plunder-related

misc things related to plunder

Activity

b1c56f1 use delay

a month ago via plunder-related

d5dec69 ignore ghc compiled outputs

3 months ago via plunder-related

77bab32 add LeanCheck core

3 months ago via plunder-related

eafb2e5 add equality operators / PropResult

3 months ago via plunder-related

d3d9f51 add shell.nix

3 months ago via plunder-related

34a1d3f init

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

New git repository added

3 months ago via plunder-related