Mentions légales du service

Skip to content
Snippets Groups Projects
Open Simplify code for JSON handling of ITP server protocol
  • View options
  • Simplify code for JSON handling of ITP server protocol

  • View options
  • Open Issue created by MARCHE Claude

    The JSON layer of the ITP server protocol is currently done by ad-hoc Ocaml code. Adding a new construct in that protocol is currently painful and error-prone because several case must be added by hand. It should be simplified and made more robust by using an existing OCaml library, or some PPX-based thing, for producing JSON and parsing it.

    • Merge request
    • Branch

    Linked items ... 0

  • Activity

    • All activity
    • Comments only
    • History only
    • Newest first
    • Oldest first
    Loading Loading Loading Loading Loading Loading Loading Loading Loading Loading