add U256 functions - 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

add U256 functions #17

Closed johnchandlerburnham closed 4 years ago

johnchandlerburnham commented 4 years ago

related: https://github.com/moonad/Formality/pull/97, must be merged together