Alex23087 / Failure-SSIL-Analyser

GNU General Public License v3.0
1 stars 3 forks source link

Document SSIL logic rules #18

Open Yurand2000 opened 5 months ago

Yurand2000 commented 5 months ago

A record must be produced as a form of documentation for the implementation of SSIL logic rules, possibly as an OCaml documentation file, which will be attached to the software's documentation.