Annotated Source Files (Q):
quaternions.adb
quaternions.ads