chariot software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS

Prototype functional programming language with nested inductive / coinductive types, with totality checking using the size change principle
Share - Bookmark