Skip to content
GitLab
  • Explore
  • Sign in
  • Register
  • curry-packages
  • addtypes
A

addtypes

Project ID: 211
Star 0
  • 15 Commits
  • 3 Branches
  • 4 Tags
  • 70 KiB Project Storage

A tool to add missing type signatures to top-level operations in a Curry module

Find file
Download source code
zip tar.gz tar.bz2 tar
  • Visual Studio Code (SSH)
    Visual Studio Code (HTTPS)
    IntelliJ IDEA (SSH)
    IntelliJ IDEA (HTTPS)
  • Copy SSH clone URLssh://git@git.ps.informatik.uni-kiel.de:55055/curry-packages/addtypes.git
  • Copy HTTPS clone URLhttps://git.ps.informatik.uni-kiel.de/curry-packages/addtypes.git
  • README
  • BSD 3-Clause "New" or "Revised" License