Project

General

Profile

« Previous | Next » 

Revision f0195e96

Added by Pierre-Loïc Garoche almost 2 years ago

- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num

  • added
  • modified
  • copied
  • renamed
  • deleted