1
0
Fork
You've already forked Hopi-agda
0
An agda implementation of the higher-order pi calculus
  • Agda 100%
2026年02月25日 13:32:34 +01:00
Syntax.agda Initial commit 2026年02月25日 13:32:34 +01:00