26 lines
772 B
YAML
26 lines
772 B
YAML
id: "lazyk"
|
|
name: "Lazy K"
|
|
|
|
install:
|
|
manual: |
|
|
install -d "${pkg}/usr/local/bin"
|
|
|
|
git clone https://github.com/irori/lazyk.git
|
|
pushd lazyk
|
|
make
|
|
mv lazyk "${pkg}/usr/local/bin/"
|
|
popd
|
|
|
|
main: "main.lazy"
|
|
template: |
|
|
K(S(S(S(S(S(S(SI`S`K(S(S`KS(S`KK(S`KS(S(S`KS(S`K`S(SI`KK)(S`KKK)))`K`K(SI`K0))))
|
|
)`K(S`K`S(S`KS(S`K`SI(S`KK(S`K(S(S(SSS)(SS(SSI(SS0))))S(S`KSK))(SI`K(S`KSK))))))
|
|
(S`KKK)))(SII)`K(SII(SII(S(S`KSK)I))))(S`K`S(S(S(SSS)(SS0))S)(SSSS))(SS(SS0))(S(
|
|
SI(SS0))(SS(SS(SS(SS`S(SSS)(SS0))))))(SS(SS(SS(SSSSSS(SS0))))))`S(S(S(SS(SS0))(S
|
|
S0))S))`K(SS0))`K(SS(SS(S(SSS)(SS(SS0))))))I(SSSSSS(SS0)))I(S(SI(SS0))(SS(SS(SS(
|
|
SS`S(SSS)(SS0))))))(SS(S(S(S(SSS)(SS0))S)(SSSS(SS(SS0)))))(S(SSS)(S(SSS)(SS0)))`
|
|
K0)
|
|
|
|
run: |
|
|
lazyk -u main.lazy
|