---
name: kimwitu
version: 4.6.1
origin: devel/kimwitu
comment: A tool for processing trees (i.e. terms)
arch: freebsd:9:x86:64
www: http://fmt.cs.utwente.nl/kimwitu/
maintainer: ports@FreeBSD.org
prefix: /usr/local
licenselogic: single
flatsize: 840493
desc: |
  Kimwitu is a system that supports the construction of programs that use
  trees or terms as their main data structure. It is a `meta-tool' in the
  development process of tools. Its input is an abstract description of
  terms, annotated with implementation directives, plus a definition of
  functions on these terms. The output consists of a number of C-files that
  contain data-structure definitions for the terms, a number of standard
  functions on those terms, and a translation (in C) of the function
  definitions in the input (eg. term rewriting).

  The standard functions can be used to create terms, compare them for
  equality, read and write them on files in various formats and do
  manipulations like list concatenation.

  WWW: http://fmt.cs.utwente.nl/kimwitu/
categories: [devel]
files:
  /usr/local/bin/kc: ddf685f686ebcfa9d427cf72a68b59dd0c8bb1a9ad8d5d073617085b5bd7c0cf
  /usr/local/man/man1/kc.1.gz: 0f10ace40e3b6f696c64c9bf40729ca6248ca2b93550b6132cb5d24ad0518cc4
scripts: {}
