ts/c/4/4/5/c445c3c7bb8b8505c96b5ce3c263a89b/p111_1.jpg) Task 2.2.3 To the right boxless ## 13 Maths You can use AsciiMath or JLaTeXMath notation within PlantUML: @startuml :$int\_0^1f(x)dx$; 108 12.1 OrgMode syntax 108 12.2 Change direction 108 12.3 Arithmetic notation 109 13 Maths 111 13.1 Standalone diagram 111 13.2 How is this working? 112 14 Common commands 113 14.1 Comments

idris package maths that has modules Maths.idr, Maths.NumOps.idr, Maths.BinOps.idr, and Maths.HexOps.idr, the corresponding package file would be: package maths modules = Maths , Maths.NumOps , Maths.BinOps , Maths.HexOps Other examples of package files can be found in the libs directory of the main Idris repository, and in third-party libraries. More details including a complete listing Given an Idris package file maths.ipkg it can be used with the Idris compiler as follows: • idris --build maths.ipkg will build all modules in the package • idris --install maths.ipkg will install the package

idris package maths that has modules Maths.idr, Maths.NumOps.idr, Maths.BinOps.idr, and Maths.HexOps.idr, the corresponding package file would be: package maths modules = Maths , Maths.NumOps , Maths.BinOps , Maths.HexOps Other examples of package files can be found in the libs directory of the main Idris repository, and in third-party libraries. More details including a complete listing Given an Idris package file maths.ipkg it can be used with the Idris compiler as follows: • idris --build maths.ipkg will build all modules in the package • idris --install maths.ipkg will install the package

package maths that has modules Maths.idr, Maths.NumOps.idr, Maths.BinOps.idr, and Maths.HexOps.idr, the corresponding package file would be: package maths modules = Maths, Maths.NumOps, Maths.BinOps, Maths.HexOps Other examples of package files can be found in the libs directory of the main Idris repository, and in third-party libraries. ### 6.2 Using Package files Idris itself is aware about packages packages. For instance, given the maths package from earlier we can use Idris as follows: • idris --build maths.ipkg will build all modules in the package - idris --install maths.ipkg will install the package

package maths that has modules Maths.idr, Maths.NumOps.idr, Maths.BinOps.idr, and Maths.HexOps.idr, the corresponding package file would be: package maths modules = Maths, Maths.NumOps, Maths.BinOps, Maths.HexOps Other examples of package files can be found in the libs directory of the main Idris repository, and in third-party libraries. ### 6.2 Using Package files Idris itself is aware about packages packages. For instance, given the maths package from earlier we can use Idris as follows: • idris --build maths.ipkg will build all modules in the package - idris --install maths.ipkg will install the package

package maths that has modules Maths.idr, Maths.NumOps.idr, Maths.BinOps.idr, and Maths.HexOps.idr, the corresponding package file would be: package maths modules = Maths , Maths.NumOps , Maths.BinOps BinOps , Maths.HexOps Other examples of package files can be found in the libs directory of the main Idris repository, and in third-party libraries. More details including a complete listing of available Given an Idris package file maths.ipkg it can be used with the Idris compiler as follows: • idris --build maths.ipkg will build all modules in the package - idris --install maths.ipkg will install the package

package maths that has modules Maths.idr, Maths.NumOps.idr, Maths. BinOps.idr, and Maths.HexOps.idr, the corresponding package file would be: 34 CHAPTER 1. THE IDRIS TUTORIAL v1.2.0 package maths modules modules = Maths , Maths.NumOps , Maths.BinOps , Maths.HexOps Other examples of package files can be found in the libs directory of the main Idris repository, and in third-party libraries. 1.6.2 Using Package packages. For instance, given the maths package from earlier we can use Idris as follows: • idris --build maths.ipkg will build all modules in the package • idris --install maths.ipkg will install the package

idris package maths that has modules Maths.idr, Maths.NumOps.idr, Maths.BinOps.idr, and Maths.HexOps.idr, the corresponding package file would be: package maths modules = Maths , Maths.NumOps , Maths.BinOps , Maths.HexOps Other examples of package files can be found in the libs directory of the main Idris repository, and in third-party libraries. ## Using Package files Idris itself is instance, given the maths package from earlier we can use Idris as follows: • idris --build maths.ipkg will build all modules in the package - idris --install maths.ipkg will install the

idris package maths that has modules Maths.idr, Maths.NumOps.idr, Maths.BinOps.idr, and Maths.HexOps.idr, the corresponding package file would be: package maths modules = Maths , Maths.NumOps , Maths.BinOps , Maths.HexOps Other examples of package files can be found in the libs directory of the main Idris repository, and in third-party libraries. ## Using Package files Idris itself is instance, given the maths package from earlier we can use Idris as follows: • idris --build maths.ipkg will build all modules in the package - idris --install maths.ipkg will install the

idris package maths that has modules Maths.idr, Maths.NumOps.idr, Maths.BinOps.idr, and Maths.HexOps.idr, the corresponding package file would be: package maths modules = Maths , Maths.NumOps , Maths.BinOps , Maths.HexOps Other examples of package files can be found in the libs directory of the main Idris repository, and in third-party libraries. ## Using Package files Idris itself is instance, given the maths package from earlier we can use Idris as follows: • idris --build maths.ipkg will build all modules in the package - idris --install maths.ipkg will install the