API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Jan 27th, 2020
363
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 26.12 KB | None | 0 0
raw download clone embed print report
  1. Loading Agda.Builtin.Equality (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality.agdai).
  2. Loading Agda.Builtin.Unit (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Unit.agdai).
  3. Loading Data.Unit.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Unit/Base.agdai).
  4. Loading Level (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Level.agdai).
  5. Loading Data.Empty (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Empty.agdai).
  6. Loading Data.Empty.Irrelevant (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Empty/Irrelevant.agdai).
  7. Loading Relation.Nullary (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Nullary.agdai).
  8. Loading Agda.Builtin.Bool (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agdai).
  9. Loading Agda.Builtin.Strict (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Strict.agdai).
  10. Loading Strict (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Strict.agdai).
  11. Loading Function (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function.agdai).
  12. Loading Data.Product (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Product.agdai).
  13. Loading Relation.Binary.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Core.agdai).
  14. Loading Data.Bool.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Bool/Base.agdai).
  15. Loading Data.Maybe.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Maybe/Base.agdai).
  16. Loading Data.Sum (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Sum.agdai).
  17. Loading Relation.Binary.Consequences.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Consequences/Core.agdai).
  18. Loading Relation.Binary.PropositionalEquality.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PropositionalEquality/Core.agdai).
  19. Loading Relation.Binary.Consequences (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Consequences.agdai).
  20. Loading Relation.Binary.Indexed.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Indexed/Core.agdai).
  21. Loading Relation.Binary (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary.agdai).
  22. Loading Relation.Binary.On (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/On.agdai).
  23. Loading Relation.Binary.HeterogeneousEquality.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/HeterogeneousEquality/Core.agdai).
  24. Loading Relation.Unary (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Unary.agdai).
  25. Loading Relation.Binary.Indexed (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Indexed.agdai).
  26. Loading Function.Equality (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Equality.agdai).
  27. Loading Relation.Binary.PropositionalEquality (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PropositionalEquality.agdai).
  28. Loading Function.Equivalence (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Equivalence.agdai).
  29. Loading Function.Injection (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Injection.agdai).
  30. Loading Relation.Binary.PreorderReasoning (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PreorderReasoning.agdai).
  31. Loading Relation.Binary.EqReasoning (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/EqReasoning.agdai).
  32. Loading Function.LeftInverse (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/LeftInverse.agdai).
  33. Loading Function.Surjection (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Surjection.agdai).
  34. Loading Function.Bijection (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Bijection.agdai).
  35. Loading Function.Inverse (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Inverse.agdai).
  36. Loading Algebra.FunctionProperties.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/FunctionProperties/Core.agdai).
  37. Loading Algebra.FunctionProperties (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/FunctionProperties.agdai).
  38. Loading Algebra.FunctionProperties.Consequences (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/FunctionProperties/Consequences.agdai).
  39. Loading Algebra.Structures (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Structures.agdai).
  40. Loading Algebra (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra.agdai).
  41. Loading Algebra.Properties.Group (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/Group.agdai).
  42. Loading Algebra.Properties.AbelianGroup (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/AbelianGroup.agdai).
  43. Loading Algebra.Morphism (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Morphism.agdai).
  44. Loading Algebra.Properties.Ring (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/Ring.agdai).
  45. Loading Algebra.RingSolver.AlmostCommutativeRing (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/RingSolver/AlmostCommutativeRing.agdai).
  46. Loading Algebra.RingSolver.Lemmas (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/RingSolver/Lemmas.agdai).
  47. Loading Data.Unit (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Unit.agdai).
  48. Loading Relation.Nullary.Decidable (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Nullary/Decidable.agdai).
  49. Loading Agda.Builtin.Nat (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agdai).
  50. Loading Agda.Builtin.TrustMe (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/TrustMe.agdai).
  51. Loading Relation.Binary.PropositionalEquality.TrustMe (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PropositionalEquality/TrustMe.agdai).
  52. Loading Data.Nat.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Nat/Base.agdai).
  53. Loading Data.Nat (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Nat.agdai).
  54. Loading Data.Fin (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Fin.agdai).
  55. Loading Agda.Builtin.List (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/List.agdai).
  56. Loading Data.List.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/Base.agdai).
  57. Loading Data.Vec (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Vec.agdai).
  58. Loading Data.Vec.N-ary (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Vec/N-ary.agdai).
  59. Loading Relation.Binary.Reflection (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Reflection.agdai).
  60. Loading Algebra.Operations (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Operations.agdai).
  61. Loading Algebra.RingSolver (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/RingSolver.agdai).
  62. Loading Algebra.RingSolver.Simple (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/RingSolver/Simple.agdai).
  63. Loading Category.Functor (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Category/Functor.agdai).
  64. Loading Category.Applicative.Indexed (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Category/Applicative/Indexed.agdai).
  65. Loading Category.Monad.Indexed (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Category/Monad/Indexed.agdai).
  66. Loading Category.Monad (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Category/Monad.agdai).
  67. Loading Relation.Nullary.Negation (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Nullary/Negation.agdai).
  68. Loading Relation.Binary.PartialOrderReasoning (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PartialOrderReasoning.agdai).
  69. Loading Data.Nat.Properties (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Nat/Properties.agdai).
  70. Loading Data.List (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List.agdai).
  71. Loading Data.Bool (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Bool.agdai).
  72. Loading Relation.Binary.Lattice (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Lattice.agdai).
  73. Loading Algebra.Properties.Lattice (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/Lattice.agdai).
  74. Loading Algebra.Properties.DistributiveLattice (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/DistributiveLattice.agdai).
  75. Loading Algebra.Properties.BooleanAlgebra (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/BooleanAlgebra.agdai).
  76. Loading Data.Bool.Properties (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Bool/Properties.agdai).
  77. Loading Data.List.NonEmpty (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/NonEmpty.agdai).
  78. Loading Data.BoundedVec.Inefficient (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/BoundedVec/Inefficient.agdai).
  79. Loading Agda.Builtin.Coinduction (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Coinduction.agdai).
  80. Loading Coinduction (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Coinduction.agdai).
  81. Loading Data.Conat (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Conat.agdai).
  82. Loading Relation.Binary.InducedPreorders (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/InducedPreorders.agdai).
  83. Loading Data.Colist (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Colist.agdai).
  84. Loading Data.List.Relation.Pointwise (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/Relation/Pointwise.agdai).
  85. Loading Data.List.Relation.Lex.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/Relation/Lex/Core.agdai).
  86. Loading Data.List.Relation.Lex.Strict (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/Relation/Lex/Strict.agdai).
  87. Loading Agda.Builtin.Char (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char.agdai).
  88. Loading Data.Char.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Char/Core.agdai).
  89. Loading Agda.Builtin.String (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String.agdai).
  90. Loading Data.String.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/String/Base.agdai).
  91. Loading Data.Char.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Char/Base.agdai).
  92. Loading Data.Char (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Char.agdai).
  93. Loading Data.String (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/String.agdai).
  94. Loading Foreign.Haskell (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Foreign/Haskell.agdai).
  95. Loading Agda.Builtin.IO (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/IO.agdai).
  96. Loading IO.Primitive (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/IO/Primitive.agdai).
  97. Loading IO (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/IO.agdai).
  98. Loading hello-world (/home/aryzach/hello-world.agdai).
  99. Compiling Data.Unit.Base in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Unit/Base.agdai to /home/aryzach/MAlonzo/Code/Data/Unit/Base.hs
  100. Compiling Level in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Level.agdai to /home/aryzach/MAlonzo/Code/Level.hs
  101. Compiling Data.Empty in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Empty.agdai to /home/aryzach/MAlonzo/Code/Data/Empty.hs
  102. Compiling Data.Empty.Irrelevant in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Empty/Irrelevant.agdai to /home/aryzach/MAlonzo/Code/Data/Empty/Irrelevant.hs
  103. Compiling Relation.Nullary in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Nullary.agdai to /home/aryzach/MAlonzo/Code/Relation/Nullary.hs
  104. Compiling Strict in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Strict.agdai to /home/aryzach/MAlonzo/Code/Strict.hs
  105. Compiling Function in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function.agdai to /home/aryzach/MAlonzo/Code/Function.hs
  106. Compiling Data.Product in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Product.agdai to /home/aryzach/MAlonzo/Code/Data/Product.hs
  107. Compiling Relation.Binary.Core in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Core.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/Core.hs
  108. Compiling Data.Bool.Base in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Bool/Base.agdai to /home/aryzach/MAlonzo/Code/Data/Bool/Base.hs
  109. Compiling Data.Maybe.Base in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Maybe/Base.agdai to /home/aryzach/MAlonzo/Code/Data/Maybe/Base.hs
  110. Compiling Data.Sum in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Sum.agdai to /home/aryzach/MAlonzo/Code/Data/Sum.hs
  111. Compiling Relation.Binary.Consequences.Core in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Consequences/Core.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/Consequences/Core.hs
  112. Compiling Relation.Binary.PropositionalEquality.Core in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PropositionalEquality/Core.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/PropositionalEquality/Core.hs
  113. Compiling Relation.Binary.Consequences in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Consequences.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/Consequences.hs
  114. Compiling Relation.Binary.Indexed.Core in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Indexed/Core.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/Indexed/Core.hs
  115. Compiling Relation.Binary in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary.hs
  116. Compiling Relation.Binary.On in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/On.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/On.hs
  117. Compiling Relation.Binary.HeterogeneousEquality.Core in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/HeterogeneousEquality/Core.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/HeterogeneousEquality/Core.hs
  118. Compiling Relation.Unary in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Unary.agdai to /home/aryzach/MAlonzo/Code/Relation/Unary.hs
  119. Compiling Relation.Binary.Indexed in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Indexed.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/Indexed.hs
  120. Compiling Function.Equality in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Equality.agdai to /home/aryzach/MAlonzo/Code/Function/Equality.hs
  121. Compiling Relation.Binary.PropositionalEquality in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PropositionalEquality.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/PropositionalEquality.hs
  122. Compiling Function.Equivalence in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Equivalence.agdai to /home/aryzach/MAlonzo/Code/Function/Equivalence.hs
  123. Compiling Function.Injection in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Injection.agdai to /home/aryzach/MAlonzo/Code/Function/Injection.hs
  124. Compiling Relation.Binary.PreorderReasoning in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PreorderReasoning.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/PreorderReasoning.hs
  125. Compiling Relation.Binary.EqReasoning in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/EqReasoning.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/EqReasoning.hs
  126. Compiling Function.LeftInverse in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/LeftInverse.agdai to /home/aryzach/MAlonzo/Code/Function/LeftInverse.hs
  127. Compiling Function.Surjection in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Surjection.agdai to /home/aryzach/MAlonzo/Code/Function/Surjection.hs
  128. Compiling Function.Bijection in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Bijection.agdai to /home/aryzach/MAlonzo/Code/Function/Bijection.hs
  129. Compiling Function.Inverse in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Inverse.agdai to /home/aryzach/MAlonzo/Code/Function/Inverse.hs
  130. Compiling Algebra.FunctionProperties.Core in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/FunctionProperties/Core.agdai to /home/aryzach/MAlonzo/Code/Algebra/FunctionProperties/Core.hs
  131. Compiling Algebra.FunctionProperties in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/FunctionProperties.agdai to /home/aryzach/MAlonzo/Code/Algebra/FunctionProperties.hs
  132. Compiling Algebra.FunctionProperties.Consequences in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/FunctionProperties/Consequences.agdai to /home/aryzach/MAlonzo/Code/Algebra/FunctionProperties/Consequences.hs
  133. Compiling Algebra.Structures in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Structures.agdai to /home/aryzach/MAlonzo/Code/Algebra/Structures.hs
  134. Compiling Algebra in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra.agdai to /home/aryzach/MAlonzo/Code/Algebra.hs
  135. Compiling Algebra.Properties.Group in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/Group.agdai to /home/aryzach/MAlonzo/Code/Algebra/Properties/Group.hs
  136. Compiling Algebra.Properties.AbelianGroup in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/AbelianGroup.agdai to /home/aryzach/MAlonzo/Code/Algebra/Properties/AbelianGroup.hs
  137. Compiling Algebra.Morphism in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Morphism.agdai to /home/aryzach/MAlonzo/Code/Algebra/Morphism.hs
  138. Compiling Algebra.Properties.Ring in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/Ring.agdai to /home/aryzach/MAlonzo/Code/Algebra/Properties/Ring.hs
  139. Compiling Algebra.RingSolver.AlmostCommutativeRing in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/RingSolver/AlmostCommutativeRing.agdai to /home/aryzach/MAlonzo/Code/Algebra/RingSolver/AlmostCommutativeRing.hs
  140. Compiling Algebra.RingSolver.Lemmas in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/RingSolver/Lemmas.agdai to /home/aryzach/MAlonzo/Code/Algebra/RingSolver/Lemmas.hs
  141. Compiling Data.Unit in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Unit.agdai to /home/aryzach/MAlonzo/Code/Data/Unit.hs
  142. Compiling Relation.Nullary.Decidable in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Nullary/Decidable.agdai to /home/aryzach/MAlonzo/Code/Relation/Nullary/Decidable.hs
  143. Compiling Relation.Binary.PropositionalEquality.TrustMe in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PropositionalEquality/TrustMe.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/PropositionalEquality/TrustMe.hs
  144. Compiling Data.Nat.Base in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Nat/Base.agdai to /home/aryzach/MAlonzo/Code/Data/Nat/Base.hs
  145. Compiling Data.Nat in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Nat.agdai to /home/aryzach/MAlonzo/Code/Data/Nat.hs
  146. Compiling Data.Fin in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Fin.agdai to /home/aryzach/MAlonzo/Code/Data/Fin.hs
  147. Compiling Data.List.Base in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/Base.agdai to /home/aryzach/MAlonzo/Code/Data/List/Base.hs
  148. Compiling Data.Vec in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Vec.agdai to /home/aryzach/MAlonzo/Code/Data/Vec.hs
  149. Compiling Data.Vec.N-ary in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Vec/N-ary.agdai to /home/aryzach/MAlonzo/Code/Data/Vec/NZ45Zary.hs
  150. Compiling Relation.Binary.Reflection in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Reflection.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/Reflection.hs
  151. Compiling Algebra.Operations in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Operations.agdai to /home/aryzach/MAlonzo/Code/Algebra/Operations.hs
  152. Compiling Algebra.RingSolver in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/RingSolver.agdai to /home/aryzach/MAlonzo/Code/Algebra/RingSolver.hs
  153. Compiling Algebra.RingSolver.Simple in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/RingSolver/Simple.agdai to /home/aryzach/MAlonzo/Code/Algebra/RingSolver/Simple.hs
  154. Compiling Category.Functor in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Category/Functor.agdai to /home/aryzach/MAlonzo/Code/Category/Functor.hs
  155. Compiling Category.Applicative.Indexed in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Category/Applicative/Indexed.agdai to /home/aryzach/MAlonzo/Code/Category/Applicative/Indexed.hs
  156. Compiling Category.Monad.Indexed in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Category/Monad/Indexed.agdai to /home/aryzach/MAlonzo/Code/Category/Monad/Indexed.hs
  157. Compiling Category.Monad in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Category/Monad.agdai to /home/aryzach/MAlonzo/Code/Category/Monad.hs
  158. Compiling Relation.Nullary.Negation in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Nullary/Negation.agdai to /home/aryzach/MAlonzo/Code/Relation/Nullary/Negation.hs
  159. Compiling Relation.Binary.PartialOrderReasoning in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PartialOrderReasoning.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/PartialOrderReasoning.hs
  160. Compiling Data.Nat.Properties in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Nat/Properties.agdai to /home/aryzach/MAlonzo/Code/Data/Nat/Properties.hs
  161. Compiling Data.List in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List.agdai to /home/aryzach/MAlonzo/Code/Data/List.hs
  162. Compiling Data.Bool in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Bool.agdai to /home/aryzach/MAlonzo/Code/Data/Bool.hs
  163. Compiling Relation.Binary.Lattice in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Lattice.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/Lattice.hs
  164. Compiling Algebra.Properties.Lattice in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/Lattice.agdai to /home/aryzach/MAlonzo/Code/Algebra/Properties/Lattice.hs
  165. Compiling Algebra.Properties.DistributiveLattice in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/DistributiveLattice.agdai to /home/aryzach/MAlonzo/Code/Algebra/Properties/DistributiveLattice.hs
  166. Compiling Algebra.Properties.BooleanAlgebra in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/BooleanAlgebra.agdai to /home/aryzach/MAlonzo/Code/Algebra/Properties/BooleanAlgebra.hs
  167. Compiling Data.Bool.Properties in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Bool/Properties.agdai to /home/aryzach/MAlonzo/Code/Data/Bool/Properties.hs
  168. Compiling Data.List.NonEmpty in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/NonEmpty.agdai to /home/aryzach/MAlonzo/Code/Data/List/NonEmpty.hs
  169. Compiling Data.BoundedVec.Inefficient in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/BoundedVec/Inefficient.agdai to /home/aryzach/MAlonzo/Code/Data/BoundedVec/Inefficient.hs
  170. Compiling Coinduction in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Coinduction.agdai to /home/aryzach/MAlonzo/Code/Coinduction.hs
  171. Compiling Data.Conat in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Conat.agdai to /home/aryzach/MAlonzo/Code/Data/Conat.hs
  172. Compiling Relation.Binary.InducedPreorders in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/InducedPreorders.agdai to /home/aryzach/MAlonzo/Code/Relation/Binary/InducedPreorders.hs
  173. Compiling Data.Colist in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Colist.agdai to /home/aryzach/MAlonzo/Code/Data/Colist.hs
  174. Compiling Data.List.Relation.Pointwise in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/Relation/Pointwise.agdai to /home/aryzach/MAlonzo/Code/Data/List/Relation/Pointwise.hs
  175. Compiling Data.List.Relation.Lex.Core in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/Relation/Lex/Core.agdai to /home/aryzach/MAlonzo/Code/Data/List/Relation/Lex/Core.hs
  176. Compiling Data.List.Relation.Lex.Strict in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/Relation/Lex/Strict.agdai to /home/aryzach/MAlonzo/Code/Data/List/Relation/Lex/Strict.hs
  177. Compiling Data.Char.Core in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Char/Core.agdai to /home/aryzach/MAlonzo/Code/Data/Char/Core.hs
  178. Compiling Data.String.Base in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/String/Base.agdai to /home/aryzach/MAlonzo/Code/Data/String/Base.hs
  179. Compiling Data.Char.Base in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Char/Base.agdai to /home/aryzach/MAlonzo/Code/Data/Char/Base.hs
  180. Compiling Data.Char in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Char.agdai to /home/aryzach/MAlonzo/Code/Data/Char.hs
  181. Compiling Data.String in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/String.agdai to /home/aryzach/MAlonzo/Code/Data/String.hs
  182. Compiling Foreign.Haskell in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Foreign/Haskell.agdai to /home/aryzach/MAlonzo/Code/Foreign/Haskell.hs
  183. Compiling IO.Primitive in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/IO/Primitive.agdai to /home/aryzach/MAlonzo/Code/IO/Primitive.hs
  184. Compiling IO in /home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/IO.agdai to /home/aryzach/MAlonzo/Code/IO.hs
  185. Compiling hello-world in /home/aryzach/hello-world.agdai to /home/aryzach/MAlonzo/Code/QhelloZ45Zworld.hs
  186. agda: /usr/share/libghc-agda-dev/MAlonzo/src: getDirectoryContents:openDirStream: does not exist (No such file or directory)
  187. aryzach@galliumos:~$ agda --version
  188. Agda version 2.5.3
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!