search

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

Offline operation #331

Closed deemp closed 4 months ago

deemp commented 4 months ago
Source Developer
Stimulus Developer modifies code.
Environment Developer's machine
Artifact normalizer Haskell code
Response Developer does not add networking functionality.
Response measure

  • No packages in the .cabal file provide networking capabilities.
  • No external commands are called via subprocesses.