Mira's compiler produces free-standing machine code programs which are considerably faster than their Basic equivalents. The compiler can be transferred to Microdrive, and files can be saved to tape or Microdrive.
Several demonstration programs, such as graph plotter and spelling checker are included, but while the small photocopied manual is entirely adequate it doesn't actually teach you Pascal. For that you'll need a good textbook.