nicola / filecoin-tla

this is a playground

Filecoin TLA

Experimental TLA Spec for Filecoin actors

Contribute

When committing, make sure to clean the translation. You can use the script in the repo to do so.

git config --local filter.pluscal.clean ./pluscal_clean.sh
git config --local filter.pluscal.smudge cat