rauchg/gdp-ts

TypeScript向けのGhosts of Departed Proofsを実装するライブラリ。 name()で値にコンパイル時の名前を付け、defineProof()で認可チェックの結果を型として扱い、関数側で_proof引数を受け取って認可チェック済みの型かをチェックする。