Contents

module HelloWorld

export
hello : String
hello = "Hello, World!"

export
version : String
version = "1.0.0"

Version data entries

78 entries across 78 versions & 1 rubygems

Version	Path
trackler-2.2.1.119	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.118	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.117	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.116	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.115	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.114	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.113	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.111	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.110	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.109	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.108	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.107	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.106	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.105	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.104	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.103	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.102	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.101	tracks/idris/exercises/hello-world/src/Example.idr