Contents

module HelloWorld

export
hello : String
hello = ?hello_rhs

export
version : String
version = "1.0.0"

Version data entries

78 entries across 78 versions & 1 rubygems

Version	Path
trackler-2.2.1.180	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.179	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.178	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.177	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.176	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.175	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.174	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.173	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.172	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.171	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.170	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.169	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.167	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.166	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.165	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.164	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.163	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.162	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.161	tracks/idris/exercises/hello-world/src/HelloWorld.idr
trackler-2.2.1.160	tracks/idris/exercises/hello-world/src/HelloWorld.idr