Fixed link to VFA Trie - Githubissues

sbp / idris-bi

Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq

https://github.com/idris-lang/Idris-dev/issues/3976

36 stars 5 forks source link

Fixed link to VFA Trie #29

Closed steshaw closed 6 years ago

sbp commented 6 years ago

Thanks!