Implement Bits.sub - Githubissues

moonad / Moonad

Moonad: a p2p academic journal, or a social network for code?

http://moonad.org/

MIT License

28 stars 7 forks source link

Implement Bits.sub #116

Open jonathanrlouie opened 4 years ago

jonathanrlouie commented 4 years ago

For #29: TODO lib

This adds Bits.sub and some unit tests for it. I looked around at some other implementations (like in Agda) and it seems like it is common to return 0 when a < b, so that's how I've implemented it here.