├── .github └── workflows │ ├── ci.yml │ └── pages.yml ├── .gitignore ├── .travis.yml ├── .travis ├── attach-binary.sh ├── install-ghr.sh └── install-stack.sh ├── LICENSE ├── README.md ├── Setup.hs ├── ad_rev.html ├── cabal.project ├── classes ├── LICENSE ├── Setup.hs ├── concat-classes.cabal └── src │ └── ConCat │ ├── Additive.hs │ ├── AltCat.hs │ ├── Category.hs │ ├── Experimental │ ├── A.hs │ ├── B.hs │ ├── C.hs │ ├── D.hs │ ├── E.hs │ └── F.hs │ ├── MinMax.hs │ ├── Misc.hs │ ├── Oops.hs │ ├── Ops.inc │ ├── Orphans.hs │ ├── Pointed.hs │ ├── Rep.hs │ └── Zip.hs ├── examples ├── LICENSE ├── Setup.hs ├── app │ └── ad_rev.lhs ├── concat-examples.cabal ├── out │ └── Makefile ├── src │ └── ConCat │ │ ├── AD.hs │ │ ├── ADFun.hs │ │ ├── AbsTy.inc │ │ ├── AdditiveFun.hs │ │ ├── Arr.hs │ │ ├── Chain.hs │ │ ├── Choice.hs │ │ ├── Circuit.hs │ │ ├── Complex.hs │ │ ├── Continuation.hs │ │ ├── Deep.hs │ │ ├── Demand.hs │ │ ├── Distribution.hs │ │ ├── Dual.hs │ │ ├── DualAdditive.hs │ │ ├── FFT.hs │ │ ├── Finite.hs │ │ ├── Free │ │ ├── Affine.hs │ │ ├── CoercibleBug.hs │ │ ├── Diagonal.hs │ │ ├── LinearCol.hs │ │ ├── LinearRow.hs │ │ └── VectorSpace.hs │ │ ├── GAD.hs │ │ ├── GradientDescent.hs │ │ ├── Gui.hs │ │ ├── Incremental.hs │ │ ├── Interval.hs │ │ ├── Isomorphism.hs │ │ ├── KnownNatOps.hs │ │ ├── LC.hs │ │ ├── Local.hs │ │ ├── Nat.hs │ │ ├── NatArr.hs │ │ ├── Pair.hs │ │ ├── Polynomial.hs │ │ ├── RAD.hs │ │ ├── Regress.hs │ │ ├── RegressChoice.hs │ │ ├── RunCircuit.hs │ │ ├── SMT.hs │ │ ├── Scan.hs │ │ ├── Shaped.hs │ │ ├── Sized.hs │ │ ├── StackT.hs │ │ ├── StackVM.hs │ │ ├── Standardize.hs │ │ ├── Synchronous.hs │ │ ├── Syntactic.hs │ │ └── TArr.hs └── test │ ├── gold │ ├── maximum-derf.golden │ ├── maximum-derr.golden │ └── maximum-gradr.golden │ └── testHasFins.hs ├── flake.lock ├── flake.nix ├── garnix.yaml ├── graphics ├── LICENSE ├── README.md ├── Setup.hs ├── concat-graphics.cabal ├── out │ └── shaders │ │ ├── script.js │ │ └── style.css ├── src │ └── ConCat │ │ └── Graphics │ │ ├── Color.hs │ │ ├── GLSL.hs │ │ └── Image.hs ├── test │ └── Examples.hs └── todo.md ├── hardware ├── LICENSE ├── README.md ├── Setup.hs ├── concat-hardware.cabal ├── src │ └── ConCat │ │ └── Hardware │ │ └── Verilog.hs └── test │ ├── Examples.hs │ ├── cmplx.v │ ├── fft_fc_rb3_tb.v │ └── trig.v ├── hie.yaml ├── inline ├── Setup.hs ├── concat-inline.cabal └── src │ └── ConCat │ └── Inline │ ├── ClassOp.hs │ ├── Plugin.hs │ └── SampleMethods.hs ├── known ├── Setup.hs ├── concat-known.cabal └── src │ └── ConCat │ └── Known.hs ├── nix ├── lib.nix └── netlist-overlay.nix ├── other ├── header.md ├── lhs.css ├── proofs.md └── template.html ├── plugin ├── LICENSE ├── Setup.hs ├── concat-plugin.cabal ├── src │ ├── ConCat.hs │ └── ConCat │ │ ├── NormaliseType.hs │ │ ├── OkType.hs │ │ ├── Plugin.hs │ │ ├── Rebox.hs │ │ └── Translators.hs └── test │ ├── BasicTests.hs │ ├── Examples.hs │ ├── GoldTests.hs │ ├── Miscellany.hs │ ├── Utils.hs │ └── gold │ ├── 9.0.2 │ ├── add-adf-dot.golden │ ├── add-adf-syn.golden │ ├── add-adr-dot.golden │ ├── add-adr-syn.golden │ ├── add-dot.golden │ ├── add-gradr-dot.golden │ ├── add-gradr-syn.golden │ ├── add-syn.golden │ ├── add-uncurry-dot.golden │ ├── add-uncurry-syn.golden │ ├── complex-mul-dot.golden │ ├── complex-mul-syn.golden │ ├── cos-2x-adf-dot.golden │ ├── cos-2x-adf-syn.golden │ ├── cos-2x-adr-dot.golden │ ├── cos-2x-adr-syn.golden │ ├── cos-2x-gradr-dot.golden │ ├── cos-2x-gradr-syn.golden │ ├── cos-2xx-adf-dot.golden │ ├── cos-2xx-adf-syn.golden │ ├── cos-2xx-adr-dot.golden │ ├── cos-2xx-adr-syn.golden │ ├── cos-2xx-dot.golden │ ├── cos-2xx-gradr-dot.golden │ ├── cos-2xx-gradr-syn.golden │ ├── cos-2xx-syn.golden │ ├── cos-adf-dot.golden │ ├── cos-adf-syn.golden │ ├── cos-adr-dot.golden │ ├── cos-adr-syn.golden │ ├── cos-gradr-dot.golden │ ├── cos-gradr-syn.golden │ ├── cos-xpy-adf-dot.golden │ ├── cos-xpy-adf-syn.golden │ ├── cos-xpy-adr-dot.golden │ ├── cos-xpy-adr-syn.golden │ ├── cos-xpy-gradr-dot.golden │ ├── cos-xpy-gradr-syn.golden │ ├── cosSinProd-dot.golden │ ├── cosSinProd-syn.golden │ ├── dup-dot.golden │ ├── dup-syn.golden │ ├── fst-dot.golden │ ├── fst-syn.golden │ ├── horner-dot.golden │ ├── horner-syn.golden │ ├── log-2xx-dot.golden │ ├── log-2xx-syn.golden │ ├── magSqr-adf-dot.golden │ ├── magSqr-adf-syn.golden │ ├── magSqr-adr-dot.golden │ ├── magSqr-adr-syn.golden │ ├── magSqr-dot.golden │ ├── magSqr-gradr-dot.golden │ ├── magSqr-gradr-syn.golden │ ├── magSqr-syn.golden │ ├── maximum-derf.golden │ ├── maximum-derr.golden │ ├── maximum-gradr.golden │ ├── sin-adf-dot.golden │ ├── sin-adf-syn.golden │ ├── sin-adr-dot.golden │ ├── sin-adr-syn.golden │ ├── sin-gradr-dot.golden │ ├── sin-gradr-syn.golden │ ├── sqr-adf-dot.golden │ ├── sqr-adf-syn.golden │ ├── sqr-adr-dot.golden │ ├── sqr-adr-syn.golden │ ├── sqr-dot.golden │ ├── sqr-gradr-dot.golden │ ├── sqr-gradr-syn.golden │ ├── sqr-syn.golden │ ├── twice-adf-dot.golden │ ├── twice-adf-syn.golden │ ├── twice-adr-dot.golden │ ├── twice-adr-syn.golden │ ├── twice-dot.golden │ ├── twice-gradr-dot.golden │ ├── twice-gradr-syn.golden │ ├── twice-syn.golden │ ├── xp3y-dot.golden │ └── xp3y-syn.golden │ ├── 9.2.1 │ ├── add-adf-dot.golden │ ├── add-adf-syn.golden │ ├── add-adr-dot.golden │ ├── add-adr-syn.golden │ ├── add-dot.golden │ ├── add-gradr-dot.golden │ ├── add-gradr-syn.golden │ ├── add-syn.golden │ ├── add-uncurry-dot.golden │ ├── add-uncurry-syn.golden │ ├── complex-mul-dot.golden │ ├── complex-mul-syn.golden │ ├── cos-2x-adf-dot.golden │ ├── cos-2x-adf-syn.golden │ ├── cos-2x-adr-dot.golden │ ├── cos-2x-adr-syn.golden │ ├── cos-2x-gradr-dot.golden │ ├── cos-2x-gradr-syn.golden │ ├── cos-2xx-adf-dot.golden │ ├── cos-2xx-adf-syn.golden │ ├── cos-2xx-adr-dot.golden │ ├── cos-2xx-adr-syn.golden │ ├── cos-2xx-dot.golden │ ├── cos-2xx-gradr-dot.golden │ ├── cos-2xx-gradr-syn.golden │ ├── cos-2xx-syn.golden │ ├── cos-adf-dot.golden │ ├── cos-adf-syn.golden │ ├── cos-adr-dot.golden │ ├── cos-adr-syn.golden │ ├── cos-gradr-dot.golden │ ├── cos-gradr-syn.golden │ ├── cos-xpy-adf-dot.golden │ ├── cos-xpy-adf-syn.golden │ ├── cos-xpy-adr-dot.golden │ ├── cos-xpy-adr-syn.golden │ ├── cos-xpy-gradr-dot.golden │ ├── cos-xpy-gradr-syn.golden │ ├── cosSinProd-dot.golden │ ├── cosSinProd-syn.golden │ ├── dup-dot.golden │ ├── dup-syn.golden │ ├── fst-dot.golden │ ├── fst-syn.golden │ ├── horner-dot.golden │ ├── horner-syn.golden │ ├── log-2xx-dot.golden │ ├── log-2xx-syn.golden │ ├── magSqr-adf-dot.golden │ ├── magSqr-adf-syn.golden │ ├── magSqr-adr-dot.golden │ ├── magSqr-adr-syn.golden │ ├── magSqr-dot.golden │ ├── magSqr-gradr-dot.golden │ ├── magSqr-gradr-syn.golden │ ├── magSqr-syn.golden │ ├── maximum-derf.golden │ ├── maximum-derr.golden │ ├── maximum-gradr.golden │ ├── sin-adf-dot.golden │ ├── sin-adf-syn.golden │ ├── sin-adr-dot.golden │ ├── sin-adr-syn.golden │ ├── sin-gradr-dot.golden │ ├── sin-gradr-syn.golden │ ├── sqr-adf-dot.golden │ ├── sqr-adf-syn.golden │ ├── sqr-adr-dot.golden │ ├── sqr-adr-syn.golden │ ├── sqr-dot.golden │ ├── sqr-gradr-dot.golden │ ├── sqr-gradr-syn.golden │ ├── sqr-syn.golden │ ├── twice-adf-dot.golden │ ├── twice-adf-syn.golden │ ├── twice-adr-dot.golden │ ├── twice-adr-syn.golden │ ├── twice-dot.golden │ ├── twice-gradr-dot.golden │ ├── twice-gradr-syn.golden │ ├── twice-syn.golden │ ├── xp3y-dot.golden │ └── xp3y-syn.golden │ ├── 9.2.2 │ ├── add-adf-dot.golden │ ├── add-adf-syn.golden │ ├── add-adr-dot.golden │ ├── add-adr-syn.golden │ ├── add-dot.golden │ ├── add-gradr-dot.golden │ ├── add-gradr-syn.golden │ ├── add-syn.golden │ ├── add-uncurry-dot.golden │ ├── add-uncurry-syn.golden │ ├── complex-mul-dot.golden │ ├── complex-mul-syn.golden │ ├── cos-2x-adf-dot.golden │ ├── cos-2x-adf-syn.golden │ ├── cos-2x-adr-dot.golden │ ├── cos-2x-adr-syn.golden │ ├── cos-2x-gradr-dot.golden │ ├── cos-2x-gradr-syn.golden │ ├── cos-2xx-adf-dot.golden │ ├── cos-2xx-adf-syn.golden │ ├── cos-2xx-adr-dot.golden │ ├── cos-2xx-adr-syn.golden │ ├── cos-2xx-dot.golden │ ├── cos-2xx-gradr-dot.golden │ ├── cos-2xx-gradr-syn.golden │ ├── cos-2xx-syn.golden │ ├── cos-adf-dot.golden │ ├── cos-adf-syn.golden │ ├── cos-adr-dot.golden │ ├── cos-adr-syn.golden │ ├── cos-gradr-dot.golden │ ├── cos-gradr-syn.golden │ ├── cos-xpy-adf-dot.golden │ ├── cos-xpy-adf-syn.golden │ ├── cos-xpy-adr-dot.golden │ ├── cos-xpy-adr-syn.golden │ ├── cos-xpy-gradr-dot.golden │ ├── cos-xpy-gradr-syn.golden │ ├── cosSinProd-dot.golden │ ├── cosSinProd-syn.golden │ ├── dup-dot.golden │ ├── dup-syn.golden │ ├── fst-dot.golden │ ├── fst-syn.golden │ ├── horner-dot.golden │ ├── horner-syn.golden │ ├── log-2xx-dot.golden │ ├── log-2xx-syn.golden │ ├── magSqr-adf-dot.golden │ ├── magSqr-adf-syn.golden │ ├── magSqr-adr-dot.golden │ ├── magSqr-adr-syn.golden │ ├── magSqr-dot.golden │ ├── magSqr-gradr-dot.golden │ ├── magSqr-gradr-syn.golden │ ├── magSqr-syn.golden │ ├── maximum-derf.golden │ ├── maximum-derr.golden │ ├── maximum-gradr.golden │ ├── sin-adf-dot.golden │ ├── sin-adf-syn.golden │ ├── sin-adr-dot.golden │ ├── sin-adr-syn.golden │ ├── sin-gradr-dot.golden │ ├── sin-gradr-syn.golden │ ├── sqr-adf-dot.golden │ ├── sqr-adf-syn.golden │ ├── sqr-adr-dot.golden │ ├── sqr-adr-syn.golden │ ├── sqr-dot.golden │ ├── sqr-gradr-dot.golden │ ├── sqr-gradr-syn.golden │ ├── sqr-syn.golden │ ├── twice-adf-dot.golden │ ├── twice-adf-syn.golden │ ├── twice-adr-dot.golden │ ├── twice-adr-syn.golden │ ├── twice-dot.golden │ ├── twice-gradr-dot.golden │ ├── twice-gradr-syn.golden │ ├── twice-syn.golden │ ├── xp3y-dot.golden │ └── xp3y-syn.golden │ ├── 9.2.8 │ ├── add-adf-dot.golden │ ├── add-adf-syn.golden │ ├── add-adr-dot.golden │ ├── add-adr-syn.golden │ ├── add-dot.golden │ ├── add-gradr-dot.golden │ ├── add-gradr-syn.golden │ ├── add-syn.golden │ ├── add-uncurry-dot.golden │ ├── add-uncurry-syn.golden │ ├── complex-mul-dot.golden │ ├── complex-mul-syn.golden │ ├── cos-2x-adf-dot.golden │ ├── cos-2x-adf-syn.golden │ ├── cos-2x-adr-dot.golden │ ├── cos-2x-adr-syn.golden │ ├── cos-2x-gradr-dot.golden │ ├── cos-2x-gradr-syn.golden │ ├── cos-2xx-adf-dot.golden │ ├── cos-2xx-adf-syn.golden │ ├── cos-2xx-adr-dot.golden │ ├── cos-2xx-adr-syn.golden │ ├── cos-2xx-dot.golden │ ├── cos-2xx-gradr-dot.golden │ ├── cos-2xx-gradr-syn.golden │ ├── cos-2xx-syn.golden │ ├── cos-adf-dot.golden │ ├── cos-adf-syn.golden │ ├── cos-adr-dot.golden │ ├── cos-adr-syn.golden │ ├── cos-gradr-dot.golden │ ├── cos-gradr-syn.golden │ ├── cos-xpy-adf-dot.golden │ ├── cos-xpy-adf-syn.golden │ ├── cos-xpy-adr-dot.golden │ ├── cos-xpy-adr-syn.golden │ ├── cos-xpy-gradr-dot.golden │ ├── cos-xpy-gradr-syn.golden │ ├── cosSinProd-dot.golden │ ├── cosSinProd-syn.golden │ ├── dup-dot.golden │ ├── dup-syn.golden │ ├── fst-dot.golden │ ├── fst-syn.golden │ ├── horner-dot.golden │ ├── horner-syn.golden │ ├── log-2xx-dot.golden │ ├── log-2xx-syn.golden │ ├── magSqr-adf-dot.golden │ ├── magSqr-adf-syn.golden │ ├── magSqr-adr-dot.golden │ ├── magSqr-adr-syn.golden │ ├── magSqr-dot.golden │ ├── magSqr-gradr-dot.golden │ ├── magSqr-gradr-syn.golden │ ├── magSqr-syn.golden │ ├── maximum-derf.golden │ ├── maximum-derr.golden │ ├── maximum-gradr.golden │ ├── sin-adf-dot.golden │ ├── sin-adf-syn.golden │ ├── sin-adr-dot.golden │ ├── sin-adr-syn.golden │ ├── sin-gradr-dot.golden │ ├── sin-gradr-syn.golden │ ├── sqr-adf-dot.golden │ ├── sqr-adf-syn.golden │ ├── sqr-adr-dot.golden │ ├── sqr-adr-syn.golden │ ├── sqr-dot.golden │ ├── sqr-gradr-dot.golden │ ├── sqr-gradr-syn.golden │ ├── sqr-syn.golden │ ├── twice-adf-dot.golden │ ├── twice-adf-syn.golden │ ├── twice-adr-dot.golden │ ├── twice-adr-syn.golden │ ├── twice-dot.golden │ ├── twice-gradr-dot.golden │ ├── twice-gradr-syn.golden │ ├── twice-syn.golden │ ├── xp3y-dot.golden │ └── xp3y-syn.golden │ ├── 9.4.1 │ ├── add-adf-dot.golden │ ├── add-adf-syn.golden │ ├── add-adr-dot.golden │ ├── add-adr-syn.golden │ ├── add-dot.golden │ ├── add-gradr-dot.golden │ ├── add-gradr-syn.golden │ ├── add-syn.golden │ ├── add-uncurry-dot.golden │ ├── add-uncurry-syn.golden │ ├── complex-mul-dot.golden │ ├── complex-mul-syn.golden │ ├── cos-2x-adf-dot.golden │ ├── cos-2x-adf-syn.golden │ ├── cos-2x-adr-dot.golden │ ├── cos-2x-adr-syn.golden │ ├── cos-2x-gradr-dot.golden │ ├── cos-2x-gradr-syn.golden │ ├── cos-2xx-adf-dot.golden │ ├── cos-2xx-adf-syn.golden │ ├── cos-2xx-adr-dot.golden │ ├── cos-2xx-adr-syn.golden │ ├── cos-2xx-dot.golden │ ├── cos-2xx-gradr-dot.golden │ ├── cos-2xx-gradr-syn.golden │ ├── cos-2xx-syn.golden │ ├── cos-adf-dot.golden │ ├── cos-adf-syn.golden │ ├── cos-adr-dot.golden │ ├── cos-adr-syn.golden │ ├── cos-gradr-dot.golden │ ├── cos-gradr-syn.golden │ ├── cos-xpy-adf-dot.golden │ ├── cos-xpy-adf-syn.golden │ ├── cos-xpy-adr-dot.golden │ ├── cos-xpy-adr-syn.golden │ ├── cos-xpy-gradr-dot.golden │ ├── cos-xpy-gradr-syn.golden │ ├── cosSinProd-dot.golden │ ├── cosSinProd-syn.golden │ ├── dup-dot.golden │ ├── dup-syn.golden │ ├── fst-dot.golden │ ├── fst-syn.golden │ ├── horner-dot.golden │ ├── horner-syn.golden │ ├── log-2xx-dot.golden │ ├── log-2xx-syn.golden │ ├── magSqr-adf-dot.golden │ ├── magSqr-adf-syn.golden │ ├── magSqr-adr-dot.golden │ ├── magSqr-adr-syn.golden │ ├── magSqr-dot.golden │ ├── magSqr-gradr-dot.golden │ ├── magSqr-gradr-syn.golden │ ├── magSqr-syn.golden │ ├── maximum-derf.golden │ ├── maximum-derr.golden │ ├── maximum-gradr.golden │ ├── sin-adf-dot.golden │ ├── sin-adf-syn.golden │ ├── sin-adr-dot.golden │ ├── sin-adr-syn.golden │ ├── sin-gradr-dot.golden │ ├── sin-gradr-syn.golden │ ├── sqr-adf-dot.golden │ ├── sqr-adf-syn.golden │ ├── sqr-adr-dot.golden │ ├── sqr-adr-syn.golden │ ├── sqr-dot.golden │ ├── sqr-gradr-dot.golden │ ├── sqr-gradr-syn.golden │ ├── sqr-syn.golden │ ├── twice-adf-dot.golden │ ├── twice-adf-syn.golden │ ├── twice-adr-dot.golden │ ├── twice-adr-syn.golden │ ├── twice-dot.golden │ ├── twice-gradr-dot.golden │ ├── twice-gradr-syn.golden │ ├── twice-syn.golden │ ├── xp3y-dot.golden │ └── xp3y-syn.golden │ ├── 9.4.8 │ ├── add-adf-dot.golden │ ├── add-adf-syn.golden │ ├── add-adr-dot.golden │ ├── add-adr-syn.golden │ ├── add-dot.golden │ ├── add-gradr-dot.golden │ ├── add-gradr-syn.golden │ ├── add-syn.golden │ ├── add-uncurry-dot.golden │ ├── add-uncurry-syn.golden │ ├── complex-mul-dot.golden │ ├── complex-mul-syn.golden │ ├── cos-2x-adf-dot.golden │ ├── cos-2x-adf-syn.golden │ ├── cos-2x-adr-dot.golden │ ├── cos-2x-adr-syn.golden │ ├── cos-2x-gradr-dot.golden │ ├── cos-2x-gradr-syn.golden │ ├── cos-2xx-adf-dot.golden │ ├── cos-2xx-adf-syn.golden │ ├── cos-2xx-adr-dot.golden │ ├── cos-2xx-adr-syn.golden │ ├── cos-2xx-dot.golden │ ├── cos-2xx-gradr-dot.golden │ ├── cos-2xx-gradr-syn.golden │ ├── cos-2xx-syn.golden │ ├── cos-adf-dot.golden │ ├── cos-adf-syn.golden │ ├── cos-adr-dot.golden │ ├── cos-adr-syn.golden │ ├── cos-gradr-dot.golden │ ├── cos-gradr-syn.golden │ ├── cos-xpy-adf-dot.golden │ ├── cos-xpy-adf-syn.golden │ ├── cos-xpy-adr-dot.golden │ ├── cos-xpy-adr-syn.golden │ ├── cos-xpy-gradr-dot.golden │ ├── cos-xpy-gradr-syn.golden │ ├── cosSinProd-dot.golden │ ├── cosSinProd-syn.golden │ ├── dup-dot.golden │ ├── dup-syn.golden │ ├── fst-dot.golden │ ├── fst-syn.golden │ ├── horner-dot.golden │ ├── horner-syn.golden │ ├── log-2xx-dot.golden │ ├── log-2xx-syn.golden │ ├── magSqr-adf-dot.golden │ ├── magSqr-adf-syn.golden │ ├── magSqr-adr-dot.golden │ ├── magSqr-adr-syn.golden │ ├── magSqr-dot.golden │ ├── magSqr-gradr-dot.golden │ ├── magSqr-gradr-syn.golden │ ├── magSqr-syn.golden │ ├── maximum-derf.golden │ ├── maximum-derr.golden │ ├── maximum-gradr.golden │ ├── sin-adf-dot.golden │ ├── sin-adf-syn.golden │ ├── sin-adr-dot.golden │ ├── sin-adr-syn.golden │ ├── sin-gradr-dot.golden │ ├── sin-gradr-syn.golden │ ├── sqr-adf-dot.golden │ ├── sqr-adf-syn.golden │ ├── sqr-adr-dot.golden │ ├── sqr-adr-syn.golden │ ├── sqr-dot.golden │ ├── sqr-gradr-dot.golden │ ├── sqr-gradr-syn.golden │ ├── sqr-syn.golden │ ├── twice-adf-dot.golden │ ├── twice-adf-syn.golden │ ├── twice-adr-dot.golden │ ├── twice-adr-syn.golden │ ├── twice-dot.golden │ ├── twice-gradr-dot.golden │ ├── twice-gradr-syn.golden │ ├── twice-syn.golden │ ├── xp3y-dot.golden │ └── xp3y-syn.golden │ └── Makefile ├── sandbox ├── LICENSE ├── Setup.hs ├── concat-sandbox.cabal └── test │ ├── natnorm.hs │ ├── partial.hs │ ├── so_BoolHasFin.hs │ └── so_natnorm.hs ├── satisfy ├── Setup.hs ├── concat-satisfy.cabal └── src │ └── ConCat │ ├── BuildDictionary.hs │ ├── Satisfy.hs │ ├── Satisfy │ └── Plugin.hs │ └── Simplify.hs ├── stack.yaml └── todo.md /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/pages.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/.github/workflows/pages.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/.travis.yml -------------------------------------------------------------------------------- /.travis/attach-binary.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/.travis/attach-binary.sh -------------------------------------------------------------------------------- /.travis/install-ghr.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/.travis/install-ghr.sh -------------------------------------------------------------------------------- /.travis/install-stack.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/.travis/install-stack.sh -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /ad_rev.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/ad_rev.html -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/cabal.project -------------------------------------------------------------------------------- /classes/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/LICENSE -------------------------------------------------------------------------------- /classes/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /classes/concat-classes.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/concat-classes.cabal -------------------------------------------------------------------------------- /classes/src/ConCat/Additive.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Additive.hs -------------------------------------------------------------------------------- /classes/src/ConCat/AltCat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/AltCat.hs -------------------------------------------------------------------------------- /classes/src/ConCat/Category.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Category.hs -------------------------------------------------------------------------------- /classes/src/ConCat/Experimental/A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Experimental/A.hs -------------------------------------------------------------------------------- /classes/src/ConCat/Experimental/B.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Experimental/B.hs -------------------------------------------------------------------------------- /classes/src/ConCat/Experimental/C.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Experimental/C.hs -------------------------------------------------------------------------------- /classes/src/ConCat/Experimental/D.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Experimental/D.hs -------------------------------------------------------------------------------- /classes/src/ConCat/Experimental/E.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Experimental/E.hs -------------------------------------------------------------------------------- /classes/src/ConCat/Experimental/F.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Experimental/F.hs -------------------------------------------------------------------------------- /classes/src/ConCat/MinMax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/MinMax.hs -------------------------------------------------------------------------------- /classes/src/ConCat/Misc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Misc.hs -------------------------------------------------------------------------------- /classes/src/ConCat/Oops.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Oops.hs -------------------------------------------------------------------------------- /classes/src/ConCat/Ops.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Ops.inc -------------------------------------------------------------------------------- /classes/src/ConCat/Orphans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Orphans.hs -------------------------------------------------------------------------------- /classes/src/ConCat/Pointed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Pointed.hs -------------------------------------------------------------------------------- /classes/src/ConCat/Rep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Rep.hs -------------------------------------------------------------------------------- /classes/src/ConCat/Zip.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/classes/src/ConCat/Zip.hs -------------------------------------------------------------------------------- /examples/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/LICENSE -------------------------------------------------------------------------------- /examples/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /examples/app/ad_rev.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/app/ad_rev.lhs -------------------------------------------------------------------------------- /examples/concat-examples.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/concat-examples.cabal -------------------------------------------------------------------------------- /examples/out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/out/Makefile -------------------------------------------------------------------------------- /examples/src/ConCat/AD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/AD.hs -------------------------------------------------------------------------------- /examples/src/ConCat/ADFun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/ADFun.hs -------------------------------------------------------------------------------- /examples/src/ConCat/AbsTy.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/AbsTy.inc -------------------------------------------------------------------------------- /examples/src/ConCat/AdditiveFun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/AdditiveFun.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Arr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Arr.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Chain.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Chain.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Choice.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Choice.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Circuit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Circuit.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Complex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Complex.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Continuation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Continuation.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Deep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Deep.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Demand.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Demand.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Distribution.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Distribution.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Dual.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Dual.hs -------------------------------------------------------------------------------- /examples/src/ConCat/DualAdditive.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/DualAdditive.hs -------------------------------------------------------------------------------- /examples/src/ConCat/FFT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/FFT.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Finite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Finite.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Free/Affine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Free/Affine.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Free/CoercibleBug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Free/CoercibleBug.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Free/Diagonal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Free/Diagonal.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Free/LinearCol.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Free/LinearCol.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Free/LinearRow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Free/LinearRow.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Free/VectorSpace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Free/VectorSpace.hs -------------------------------------------------------------------------------- /examples/src/ConCat/GAD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/GAD.hs -------------------------------------------------------------------------------- /examples/src/ConCat/GradientDescent.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/GradientDescent.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Gui.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Gui.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Incremental.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Incremental.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Interval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Interval.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Isomorphism.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Isomorphism.hs -------------------------------------------------------------------------------- /examples/src/ConCat/KnownNatOps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/KnownNatOps.hs -------------------------------------------------------------------------------- /examples/src/ConCat/LC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/LC.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Local.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Local.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Nat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Nat.hs -------------------------------------------------------------------------------- /examples/src/ConCat/NatArr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/NatArr.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Pair.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Pair.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Polynomial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Polynomial.hs -------------------------------------------------------------------------------- /examples/src/ConCat/RAD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/RAD.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Regress.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Regress.hs -------------------------------------------------------------------------------- /examples/src/ConCat/RegressChoice.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/RegressChoice.hs -------------------------------------------------------------------------------- /examples/src/ConCat/RunCircuit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/RunCircuit.hs -------------------------------------------------------------------------------- /examples/src/ConCat/SMT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/SMT.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Scan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Scan.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Shaped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Shaped.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Sized.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Sized.hs -------------------------------------------------------------------------------- /examples/src/ConCat/StackT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/StackT.hs -------------------------------------------------------------------------------- /examples/src/ConCat/StackVM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/StackVM.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Standardize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Standardize.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Synchronous.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Synchronous.hs -------------------------------------------------------------------------------- /examples/src/ConCat/Syntactic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/Syntactic.hs -------------------------------------------------------------------------------- /examples/src/ConCat/TArr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/src/ConCat/TArr.hs -------------------------------------------------------------------------------- /examples/test/gold/maximum-derf.golden: -------------------------------------------------------------------------------- 1 | (7.0,2.0) -------------------------------------------------------------------------------- /examples/test/gold/maximum-derr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/test/gold/maximum-derr.golden -------------------------------------------------------------------------------- /examples/test/gold/maximum-gradr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/test/gold/maximum-gradr.golden -------------------------------------------------------------------------------- /examples/test/testHasFins.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/examples/test/testHasFins.hs -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/flake.nix -------------------------------------------------------------------------------- /garnix.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/garnix.yaml -------------------------------------------------------------------------------- /graphics/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/graphics/LICENSE -------------------------------------------------------------------------------- /graphics/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/graphics/README.md -------------------------------------------------------------------------------- /graphics/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /graphics/concat-graphics.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/graphics/concat-graphics.cabal -------------------------------------------------------------------------------- /graphics/out/shaders/script.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/graphics/out/shaders/script.js -------------------------------------------------------------------------------- /graphics/out/shaders/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/graphics/out/shaders/style.css -------------------------------------------------------------------------------- /graphics/src/ConCat/Graphics/Color.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/graphics/src/ConCat/Graphics/Color.hs -------------------------------------------------------------------------------- /graphics/src/ConCat/Graphics/GLSL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/graphics/src/ConCat/Graphics/GLSL.hs -------------------------------------------------------------------------------- /graphics/src/ConCat/Graphics/Image.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/graphics/src/ConCat/Graphics/Image.hs -------------------------------------------------------------------------------- /graphics/test/Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/graphics/test/Examples.hs -------------------------------------------------------------------------------- /graphics/todo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/graphics/todo.md -------------------------------------------------------------------------------- /hardware/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/hardware/LICENSE -------------------------------------------------------------------------------- /hardware/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/hardware/README.md -------------------------------------------------------------------------------- /hardware/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /hardware/concat-hardware.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/hardware/concat-hardware.cabal -------------------------------------------------------------------------------- /hardware/src/ConCat/Hardware/Verilog.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/hardware/src/ConCat/Hardware/Verilog.hs -------------------------------------------------------------------------------- /hardware/test/Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/hardware/test/Examples.hs -------------------------------------------------------------------------------- /hardware/test/cmplx.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/hardware/test/cmplx.v -------------------------------------------------------------------------------- /hardware/test/fft_fc_rb3_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/hardware/test/fft_fc_rb3_tb.v -------------------------------------------------------------------------------- /hardware/test/trig.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/hardware/test/trig.v -------------------------------------------------------------------------------- /hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/hie.yaml -------------------------------------------------------------------------------- /inline/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /inline/concat-inline.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/inline/concat-inline.cabal -------------------------------------------------------------------------------- /inline/src/ConCat/Inline/ClassOp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/inline/src/ConCat/Inline/ClassOp.hs -------------------------------------------------------------------------------- /inline/src/ConCat/Inline/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/inline/src/ConCat/Inline/Plugin.hs -------------------------------------------------------------------------------- /inline/src/ConCat/Inline/SampleMethods.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/inline/src/ConCat/Inline/SampleMethods.hs -------------------------------------------------------------------------------- /known/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /known/concat-known.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/known/concat-known.cabal -------------------------------------------------------------------------------- /known/src/ConCat/Known.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/known/src/ConCat/Known.hs -------------------------------------------------------------------------------- /nix/lib.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/nix/lib.nix -------------------------------------------------------------------------------- /nix/netlist-overlay.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/nix/netlist-overlay.nix -------------------------------------------------------------------------------- /other/header.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/other/header.md -------------------------------------------------------------------------------- /other/lhs.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/other/lhs.css -------------------------------------------------------------------------------- /other/proofs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/other/proofs.md -------------------------------------------------------------------------------- /other/template.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/other/template.html -------------------------------------------------------------------------------- /plugin/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/LICENSE -------------------------------------------------------------------------------- /plugin/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /plugin/concat-plugin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/concat-plugin.cabal -------------------------------------------------------------------------------- /plugin/src/ConCat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/src/ConCat.hs -------------------------------------------------------------------------------- /plugin/src/ConCat/NormaliseType.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/src/ConCat/NormaliseType.hs -------------------------------------------------------------------------------- /plugin/src/ConCat/OkType.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/src/ConCat/OkType.hs -------------------------------------------------------------------------------- /plugin/src/ConCat/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/src/ConCat/Plugin.hs -------------------------------------------------------------------------------- /plugin/src/ConCat/Rebox.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/src/ConCat/Rebox.hs -------------------------------------------------------------------------------- /plugin/src/ConCat/Translators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/src/ConCat/Translators.hs -------------------------------------------------------------------------------- /plugin/test/BasicTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/BasicTests.hs -------------------------------------------------------------------------------- /plugin/test/Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/Examples.hs -------------------------------------------------------------------------------- /plugin/test/GoldTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/GoldTests.hs -------------------------------------------------------------------------------- /plugin/test/Miscellany.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/Miscellany.hs -------------------------------------------------------------------------------- /plugin/test/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/Utils.hs -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/add-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/add-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/add-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/add-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/add-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/add-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/add-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/add-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/add-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/add-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/add-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/add-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/add-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/add-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/add-syn.golden: -------------------------------------------------------------------------------- 1 | curry addC -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/add-uncurry-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/add-uncurry-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/add-uncurry-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/add-uncurry-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/complex-mul-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/complex-mul-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/complex-mul-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/complex-mul-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2x-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2x-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2x-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2x-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2x-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2x-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2x-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2x-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2x-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2x-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2x-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2x-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2xx-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2xx-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2xx-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2xx-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2xx-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2xx-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2xx-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2xx-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2xx-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2xx-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2xx-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2xx-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2xx-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2xx-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-2xx-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-2xx-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-xpy-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-xpy-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-xpy-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-xpy-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-xpy-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-xpy-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-xpy-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-xpy-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-xpy-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-xpy-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cos-xpy-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cos-xpy-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cosSinProd-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cosSinProd-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/cosSinProd-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/cosSinProd-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/dup-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/dup-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/dup-syn.golden: -------------------------------------------------------------------------------- 1 | dup -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/fst-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/fst-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/fst-syn.golden: -------------------------------------------------------------------------------- 1 | exl -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/horner-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/horner-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/horner-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/horner-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/log-2xx-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/log-2xx-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/log-2xx-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/log-2xx-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/magSqr-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/magSqr-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/magSqr-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/magSqr-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/magSqr-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/magSqr-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/magSqr-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/magSqr-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/magSqr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/magSqr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/magSqr-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/magSqr-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/magSqr-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/magSqr-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/magSqr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/magSqr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/maximum-derf.golden: -------------------------------------------------------------------------------- 1 | (7.0,2.0) -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/maximum-derr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/maximum-derr.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/maximum-gradr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/maximum-gradr.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sin-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/sin-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sin-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/sin-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sin-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/sin-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sin-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/sin-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sin-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/sin-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sin-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/sin-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sqr-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/sqr-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sqr-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/sqr-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sqr-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/sqr-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sqr-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/sqr-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sqr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/sqr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sqr-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/sqr-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sqr-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/sqr-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/sqr-syn.golden: -------------------------------------------------------------------------------- 1 | mulC . dup -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/twice-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/twice-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/twice-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/twice-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/twice-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/twice-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/twice-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/twice-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/twice-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/twice-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/twice-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/twice-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/twice-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/twice-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/twice-syn.golden: -------------------------------------------------------------------------------- 1 | addC . dup -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/xp3y-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/xp3y-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.0.2/xp3y-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.0.2/xp3y-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/add-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/add-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/add-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/add-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/add-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/add-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/add-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/add-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/add-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/add-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/add-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/add-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/add-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/add-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/add-syn.golden: -------------------------------------------------------------------------------- 1 | curry addC -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/add-uncurry-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/add-uncurry-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/add-uncurry-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/add-uncurry-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/complex-mul-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/complex-mul-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/complex-mul-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/complex-mul-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2x-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2x-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2x-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2x-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2x-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2x-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2x-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2x-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2x-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2x-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2x-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2x-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2xx-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2xx-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2xx-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2xx-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2xx-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2xx-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2xx-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2xx-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2xx-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2xx-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2xx-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2xx-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2xx-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2xx-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-2xx-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-2xx-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-xpy-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-xpy-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-xpy-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-xpy-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-xpy-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-xpy-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-xpy-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-xpy-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-xpy-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-xpy-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cos-xpy-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cos-xpy-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cosSinProd-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cosSinProd-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/cosSinProd-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/cosSinProd-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/dup-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/dup-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/dup-syn.golden: -------------------------------------------------------------------------------- 1 | dup -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/fst-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/fst-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/fst-syn.golden: -------------------------------------------------------------------------------- 1 | exl -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/horner-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/horner-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/horner-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/horner-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/log-2xx-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/log-2xx-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/log-2xx-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/log-2xx-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/magSqr-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/magSqr-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/magSqr-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/magSqr-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/magSqr-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/magSqr-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/magSqr-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/magSqr-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/magSqr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/magSqr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/magSqr-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/magSqr-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/magSqr-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/magSqr-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/magSqr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/magSqr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/maximum-derf.golden: -------------------------------------------------------------------------------- 1 | (7.0,2.0) -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/maximum-derr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/maximum-derr.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/maximum-gradr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/maximum-gradr.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sin-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/sin-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sin-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/sin-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sin-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/sin-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sin-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/sin-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sin-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/sin-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sin-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/sin-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sqr-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/sqr-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sqr-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/sqr-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sqr-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/sqr-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sqr-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/sqr-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sqr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/sqr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sqr-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/sqr-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sqr-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/sqr-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/sqr-syn.golden: -------------------------------------------------------------------------------- 1 | mulC . dup -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/twice-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/twice-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/twice-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/twice-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/twice-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/twice-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/twice-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/twice-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/twice-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/twice-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/twice-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/twice-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/twice-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/twice-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/twice-syn.golden: -------------------------------------------------------------------------------- 1 | addC . dup -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/xp3y-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/xp3y-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.1/xp3y-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.1/xp3y-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/add-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/add-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/add-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/add-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/add-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/add-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/add-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/add-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/add-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/add-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/add-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/add-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/add-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/add-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/add-syn.golden: -------------------------------------------------------------------------------- 1 | curry addC -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/add-uncurry-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/add-uncurry-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/add-uncurry-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/add-uncurry-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/complex-mul-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/complex-mul-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/complex-mul-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/complex-mul-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2x-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2x-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2x-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2x-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2x-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2x-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2x-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2x-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2x-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2x-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2x-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2x-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2xx-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2xx-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2xx-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2xx-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2xx-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2xx-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2xx-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2xx-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2xx-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2xx-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2xx-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2xx-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2xx-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2xx-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-2xx-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-2xx-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-xpy-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-xpy-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-xpy-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-xpy-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-xpy-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-xpy-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-xpy-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-xpy-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-xpy-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-xpy-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cos-xpy-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cos-xpy-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cosSinProd-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cosSinProd-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/cosSinProd-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/cosSinProd-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/dup-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/dup-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/dup-syn.golden: -------------------------------------------------------------------------------- 1 | dup -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/fst-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/fst-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/fst-syn.golden: -------------------------------------------------------------------------------- 1 | exl -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/horner-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/horner-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/horner-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/horner-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/log-2xx-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/log-2xx-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/log-2xx-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/log-2xx-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/magSqr-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/magSqr-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/magSqr-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/magSqr-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/magSqr-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/magSqr-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/magSqr-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/magSqr-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/magSqr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/magSqr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/magSqr-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/magSqr-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/magSqr-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/magSqr-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/magSqr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/magSqr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/maximum-derf.golden: -------------------------------------------------------------------------------- 1 | (7.0,2.0) -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/maximum-derr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/maximum-derr.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/maximum-gradr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/maximum-gradr.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sin-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/sin-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sin-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/sin-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sin-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/sin-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sin-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/sin-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sin-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/sin-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sin-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/sin-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sqr-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/sqr-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sqr-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/sqr-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sqr-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/sqr-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sqr-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/sqr-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sqr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/sqr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sqr-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/sqr-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sqr-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/sqr-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/sqr-syn.golden: -------------------------------------------------------------------------------- 1 | mulC . dup -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/twice-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/twice-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/twice-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/twice-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/twice-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/twice-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/twice-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/twice-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/twice-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/twice-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/twice-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/twice-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/twice-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/twice-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/twice-syn.golden: -------------------------------------------------------------------------------- 1 | addC . dup -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/xp3y-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/xp3y-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.2/xp3y-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.2/xp3y-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/add-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/add-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/add-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/add-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/add-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/add-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/add-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/add-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/add-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/add-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/add-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/add-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/add-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/add-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/add-syn.golden: -------------------------------------------------------------------------------- 1 | curry addC -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/add-uncurry-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/add-uncurry-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/add-uncurry-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/add-uncurry-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/complex-mul-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/complex-mul-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/complex-mul-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/complex-mul-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2x-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2x-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2x-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2x-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2x-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2x-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2x-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2x-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2x-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2x-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2x-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2x-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2xx-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2xx-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2xx-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2xx-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2xx-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2xx-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2xx-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2xx-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2xx-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2xx-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2xx-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2xx-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2xx-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2xx-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-2xx-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-2xx-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-xpy-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-xpy-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-xpy-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-xpy-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-xpy-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-xpy-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-xpy-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-xpy-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-xpy-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-xpy-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cos-xpy-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cos-xpy-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cosSinProd-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cosSinProd-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/cosSinProd-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/cosSinProd-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/dup-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/dup-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/dup-syn.golden: -------------------------------------------------------------------------------- 1 | dup -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/fst-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/fst-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/fst-syn.golden: -------------------------------------------------------------------------------- 1 | exl -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/horner-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/horner-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/horner-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/horner-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/log-2xx-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/log-2xx-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/log-2xx-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/log-2xx-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/magSqr-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/magSqr-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/magSqr-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/magSqr-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/magSqr-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/magSqr-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/magSqr-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/magSqr-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/magSqr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/magSqr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/magSqr-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/magSqr-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/magSqr-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/magSqr-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/magSqr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/magSqr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/maximum-derf.golden: -------------------------------------------------------------------------------- 1 | (7.0,2.0) -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/maximum-derr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/maximum-derr.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/maximum-gradr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/maximum-gradr.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sin-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/sin-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sin-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/sin-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sin-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/sin-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sin-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/sin-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sin-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/sin-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sin-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/sin-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sqr-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/sqr-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sqr-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/sqr-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sqr-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/sqr-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sqr-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/sqr-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sqr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/sqr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sqr-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/sqr-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sqr-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/sqr-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/sqr-syn.golden: -------------------------------------------------------------------------------- 1 | mulC . dup -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/twice-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/twice-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/twice-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/twice-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/twice-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/twice-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/twice-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/twice-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/twice-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/twice-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/twice-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/twice-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/twice-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/twice-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/twice-syn.golden: -------------------------------------------------------------------------------- 1 | addC . dup -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/xp3y-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/xp3y-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.2.8/xp3y-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.2.8/xp3y-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/add-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/add-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/add-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/add-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/add-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/add-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/add-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/add-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/add-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/add-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/add-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/add-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/add-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/add-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/add-syn.golden: -------------------------------------------------------------------------------- 1 | curry addC -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/add-uncurry-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/add-uncurry-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/add-uncurry-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/add-uncurry-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/complex-mul-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/complex-mul-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/complex-mul-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/complex-mul-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2x-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2x-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2x-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2x-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2x-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2x-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2x-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2x-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2x-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2x-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2x-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2x-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2xx-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2xx-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2xx-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2xx-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2xx-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2xx-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2xx-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2xx-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2xx-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2xx-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2xx-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2xx-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2xx-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2xx-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-2xx-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-2xx-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-xpy-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-xpy-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-xpy-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-xpy-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-xpy-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-xpy-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-xpy-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-xpy-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-xpy-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-xpy-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cos-xpy-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cos-xpy-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cosSinProd-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cosSinProd-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/cosSinProd-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/cosSinProd-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/dup-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/dup-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/dup-syn.golden: -------------------------------------------------------------------------------- 1 | dup -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/fst-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/fst-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/fst-syn.golden: -------------------------------------------------------------------------------- 1 | exl -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/horner-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/horner-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/horner-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/horner-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/log-2xx-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/log-2xx-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/log-2xx-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/log-2xx-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/magSqr-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/magSqr-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/magSqr-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/magSqr-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/magSqr-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/magSqr-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/magSqr-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/magSqr-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/magSqr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/magSqr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/magSqr-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/magSqr-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/magSqr-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/magSqr-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/magSqr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/magSqr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/maximum-derf.golden: -------------------------------------------------------------------------------- 1 | (7.0,2.0) -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/maximum-derr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/maximum-derr.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/maximum-gradr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/maximum-gradr.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sin-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/sin-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sin-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/sin-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sin-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/sin-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sin-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/sin-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sin-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/sin-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sin-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/sin-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sqr-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/sqr-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sqr-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/sqr-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sqr-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/sqr-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sqr-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/sqr-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sqr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/sqr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sqr-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/sqr-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sqr-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/sqr-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/sqr-syn.golden: -------------------------------------------------------------------------------- 1 | mulC . dup -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/twice-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/twice-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/twice-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/twice-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/twice-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/twice-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/twice-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/twice-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/twice-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/twice-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/twice-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/twice-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/twice-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/twice-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/twice-syn.golden: -------------------------------------------------------------------------------- 1 | addC . dup -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/xp3y-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/xp3y-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.1/xp3y-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.1/xp3y-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/add-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/add-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/add-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/add-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/add-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/add-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/add-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/add-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/add-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/add-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/add-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/add-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/add-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/add-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/add-syn.golden: -------------------------------------------------------------------------------- 1 | curry addC -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/add-uncurry-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/add-uncurry-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/add-uncurry-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/add-uncurry-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/complex-mul-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/complex-mul-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/complex-mul-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/complex-mul-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2x-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2x-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2x-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2x-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2x-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2x-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2x-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2x-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2x-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2x-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2x-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2x-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2xx-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2xx-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2xx-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2xx-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2xx-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2xx-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2xx-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2xx-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2xx-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2xx-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2xx-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2xx-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2xx-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2xx-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-2xx-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-2xx-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-xpy-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-xpy-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-xpy-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-xpy-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-xpy-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-xpy-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-xpy-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-xpy-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-xpy-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-xpy-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cos-xpy-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cos-xpy-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cosSinProd-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cosSinProd-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/cosSinProd-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/cosSinProd-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/dup-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/dup-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/dup-syn.golden: -------------------------------------------------------------------------------- 1 | dup -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/fst-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/fst-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/fst-syn.golden: -------------------------------------------------------------------------------- 1 | exl -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/horner-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/horner-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/horner-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/horner-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/log-2xx-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/log-2xx-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/log-2xx-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/log-2xx-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/magSqr-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/magSqr-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/magSqr-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/magSqr-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/magSqr-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/magSqr-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/magSqr-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/magSqr-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/magSqr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/magSqr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/magSqr-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/magSqr-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/magSqr-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/magSqr-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/magSqr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/magSqr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/maximum-derf.golden: -------------------------------------------------------------------------------- 1 | (7.0,2.0) -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/maximum-derr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/maximum-derr.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/maximum-gradr.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/maximum-gradr.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sin-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/sin-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sin-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/sin-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sin-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/sin-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sin-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/sin-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sin-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/sin-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sin-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/sin-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sqr-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/sqr-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sqr-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/sqr-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sqr-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/sqr-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sqr-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/sqr-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sqr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/sqr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sqr-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/sqr-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sqr-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/sqr-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/sqr-syn.golden: -------------------------------------------------------------------------------- 1 | mulC . dup -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/twice-adf-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/twice-adf-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/twice-adf-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/twice-adf-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/twice-adr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/twice-adr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/twice-adr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/twice-adr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/twice-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/twice-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/twice-gradr-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/twice-gradr-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/twice-gradr-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/twice-gradr-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/twice-syn.golden: -------------------------------------------------------------------------------- 1 | addC . dup -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/xp3y-dot.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/xp3y-dot.golden -------------------------------------------------------------------------------- /plugin/test/gold/9.4.8/xp3y-syn.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/9.4.8/xp3y-syn.golden -------------------------------------------------------------------------------- /plugin/test/gold/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/plugin/test/gold/Makefile -------------------------------------------------------------------------------- /sandbox/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/sandbox/LICENSE -------------------------------------------------------------------------------- /sandbox/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /sandbox/concat-sandbox.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/sandbox/concat-sandbox.cabal -------------------------------------------------------------------------------- /sandbox/test/natnorm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/sandbox/test/natnorm.hs -------------------------------------------------------------------------------- /sandbox/test/partial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/sandbox/test/partial.hs -------------------------------------------------------------------------------- /sandbox/test/so_BoolHasFin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/sandbox/test/so_BoolHasFin.hs -------------------------------------------------------------------------------- /sandbox/test/so_natnorm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/sandbox/test/so_natnorm.hs -------------------------------------------------------------------------------- /satisfy/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /satisfy/concat-satisfy.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/satisfy/concat-satisfy.cabal -------------------------------------------------------------------------------- /satisfy/src/ConCat/BuildDictionary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/satisfy/src/ConCat/BuildDictionary.hs -------------------------------------------------------------------------------- /satisfy/src/ConCat/Satisfy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/satisfy/src/ConCat/Satisfy.hs -------------------------------------------------------------------------------- /satisfy/src/ConCat/Satisfy/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/satisfy/src/ConCat/Satisfy/Plugin.hs -------------------------------------------------------------------------------- /satisfy/src/ConCat/Simplify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/satisfy/src/ConCat/Simplify.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/stack.yaml -------------------------------------------------------------------------------- /todo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compiling-to-categories/concat/HEAD/todo.md --------------------------------------------------------------------------------