メインコンテンツへスキップ
buildradar
Sign in

plfa/plfa.github.io

@plfa

Agda によるプログラミング言語理論の入門

スター
1,514
フォーク
353
言語
Agda
ライセンス
CC-BY-4.0
最終プッシュ
7 日前
Agdaproof-assistantbookprogramming-languages

関連 Intel はまだありません

このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。