Supplementary material for lax modal lambda calculi Software

@misc{Valliappan25,
   title = {{Supplementary material for lax modal lambda calculi}}, 
   author = {Valliappan, Nachiappan},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:a7236a3546548ed634ce20cad62755fefaddd77e;origin=https://github.com/nachivpn/s;visit=swh:1:snp:481b2444576d9b650f534269e7768324a916859c;anchor=swh:1:rev:1025664abbf7edbfe7153f9e0ec7250892d4b465}{\texttt{swh:1:dir:a7236a3546548ed634ce20cad62755fefaddd77e}} (visited on 2026-02-18)},
   url = {https://github.com/nachivpn/s},
   doi = {10.4230/artifacts.25486},
}