dependent-fold software on GitHub

Software OPEN SOURCE

the agda codes for the paper: "Dependently Typed Folds for Nested Data Types"
Share - Bookmark

  • Download from
    GitHub via GitHub (Software)
  • Cite this software