name: cl
version: 0.5
description: Combinatory logic example illustrating inductive definitions in HOL4
author: Ramana Kumar <ramana.kumar@gmail.com>
license: MIT
requires: base
show: "Data.Bool"
show: "cl"
main {
  article: "cl.art"
}
