Shell Scripting, Pipeline Composition, Immutable Operations, Functional Style
haskell/vector
github.com·1d
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·8h
Loading...Loading more...
Shell Scripting, Pipeline Composition, Immutable Operations, Functional Style