Resources for the EARL Current Best Practices in Formal Package Development Workshop
This repository contains the source files that will be required for the workshop as well as an example package that will be developed during the workshop.
Example material based on the exercises in the workshop will be added after the workshop.