Deotonic — 번복 가능 의무논리를 위한 Curry-Howard 대응

민법(民法) 조문을 Haskell 타입 체계로 인코딩하는 프레임워크.

자세한 내용은 영문 문서를 참조하세요. 한국어 번역은 판례 시연 페이지부터 제공됩니다.