GitHub

Folders and files

NameName

Last commit message

Last commit date

Latest commit

History

38 Commits

Libraries

  • chr-data: required data structures
  • chr-pretty: pretty printing library (simplified version of the one in uulib) used for printing out trace/debug/output/info
  • chr-core: core of chr library
  • chr-parse: parse library (around uulib parsing)
  • chr-lang: 2 layer front end syntax (general terms, specialized terms w.r.t. an example interpretation)
  • uhc-util: moved into chr
  • logict-state: moved into chr

Executables

  • chr-term: installed as part of chr-lang. Run on chr-lang/term/queens.chr

Read the original on github.com ↗