This repository was archived by the owner on Nov 12, 2025. It is now read-only.
Made fromIntegerNat use case instead of if#4357
Open
SaraWolffs wants to merge 2 commits into
Open
Commits
Commits on Feb 26, 2018
- committed
- authored
Sal Wolffs
