SATySFi SATySFiでad hoc多相SMLFunctionalProgrammingSATySFiHaskellHaskell SATySFi のrefコマンドでうまく引用できないときSATySFiSATySFi SATySFiでブラケット記法を表示するコマンドを作ったQuantumInformationQuantumComputingSATySFiQuantumComputing
SATySFiでad hoc多相SMLFunctionalProgrammingSATySFiHaskellHaskell SATySFi のrefコマンドでうまく引用できないときSATySFiSATySFi SATySFiでブラケット記法を表示するコマンドを作ったQuantumInformationQuantumComputingSATySFiQuantumComputing