https://github.com/ocamlpro/ocp-typechecker

A tool to verify types inferred by OCaml
https://github.com/ocamlpro/ocp-typechecker

Last synced: 6 months ago
JSON representation

A tool to verify types inferred by OCaml

• Host: GitHub
• URL: https://github.com/ocamlpro/ocp-typechecker
• Owner: OCamlPro
• License: other
• Created: 2017-02-20T12:25:56.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2018-01-12T10:00:00.000Z (over 8 years ago)
• Last Synced: 2025-06-12T02:09:34.541Z (about 1 year ago)
• Language: M4
• Size: 173 KB
• Stars: 7
• Watchers: 2
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • License: LICENSE
  • Authors: AUTHORS

Awesome Lists containing this project