Skip to content

Instantly share code, notes, and snippets.

View puripuri2100's full-sized avatar
🦾

Naoki Kaneko puripuri2100

🦾
View GitHub Profile
@puripuri2100
puripuri2100 / make-satysfi.sh
Last active September 5, 2019 12:36 — forked from zr-tex8r/make-satysfi.sh
Make SATySFi
#!/bin/bash
set -eux
apt -y update
apt -y install m4 unzip curl
yes '' | sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)
opam init --auto-setup --comp 4.06.0 --disable-sandboxing
eval $(opam env)
@puripuri2100
puripuri2100 / mdsc.satyh
Last active December 23, 2018 20:19 — forked from zr-tex8r/scarticle.satyh
SATySFi:非常に画期的な文書クラス(Markdown)
% scarticle.satyh: An essential docuemnt class for SATySFi
%
% Copyright (c) 2018 Takayuki YATO (aka. "ZR")
% GitHub: https:%github.com/zr-tex8r
% Twitter: @zr_tex8r
% Distributed under the MIT License.
@require: pervasives
@require: list
@require: math