TANGL

TANGEUL — マークダウンで書き、人間が監査するルール

TANGL は toulmin のルールグラフを Go コードではなくマークダウンの文として書けるようにし、プログラマーでない人でも監査できるようにする。TANGEUL は、それらのマークダウン面がいま符号化して収める先となるバイナリの真実の源だ。