search

hindley-milner-systems / dapp-ertp-airdrop

0 stars 2 forks source link

types, notes, etc. (WIP) #48

Closed dckc closed 5 months ago

dckc commented 7 months ago

I meant to try running the contract on a blockchain, but there's no core-eval script... and making one is complicated by #47 .

So I looked over test-airdrop.js and the contract, using static typing as a guide.

I pruned a bunch of code that seems irrelevant.

I'm not sure how much of this you might want to actually merge, @tgrecojs .

I cleaned up the xsnap dependency. fixes #45

I test.skipped non-working tests, so... fixes #46

dckc commented 5 months ago

seems like this is overtaken by events, esp. #49