web-dev-qa-db-ja.com

curry-howard

カリーハワード同形性

Data.Voidの不条理な機能は何に役立ちますか?