Sha256: 7bcb61efe3cac9d51df6d5e8db07a807590b7de0c792dae2dd6285296bea87bd

Contents?: true

Size: 114 Bytes

Versions: 229

Compression:

Stored size: 114 Bytes

Contents

---
blurb: "The first rule of the Tautology Club is the first rule of the Tautology Club "
source: "Coq classics"

Version data entries

229 entries across 229 versions & 1 rubygems

Version Path
trackler-2.2.1.180 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.179 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.178 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.177 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.176 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.175 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.174 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.173 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.172 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.171 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.170 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.169 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.167 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.166 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.165 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.164 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.163 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.162 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.161 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.160 tracks/coq/exercises/tautology/.meta/metadata.yml