oscoin/avl-auth

Use model testing for Crypto.Data.Auth

cloudhead opened this issue · 0 comments

cloudhead commented

We can use a model test or "bi-simulation" to check our AVL tree against Data.Map from the containers package.