web-dev-qa-db-ja.com
/
home
/
日本語
/agda
agda
AgdaとIdrisの違い
直観主義型理論に相当するコンビネータ論理とは何ですか？
依存型付き言語でプログラミングする場合、コンパイル時間と実行時のギャップをどのように克服しますか？