TypeScript で実装したワークフローの「正しさ」を Lean とランダムテストで検証する
developers.cyberagent.co.jp