Nā hale waihona puke i kākau ʻia ma Agda

ʻO ka waihona maʻamau o Agda.

He waihona hoʻokolohua no Cubical Agda.

Nā hōʻike loiloi o nā manaʻo topological, a me nā mea ʻē aʻe. Hoʻohana kēia mana i ka manaʻo univalent..

Hoʻopili i ka code Agda i hiki ke heluhelu ʻia Haskell.

Agda formalization o ka Introduction to Homotopy Type Theory (na HoTT-Intro).

Hui Pū ʻIa Parser ma Agda.

Hoʻokumu i nā ʻōlelo maʻamau ma Agda: nā ʻōlelo maʻamau, finite-state automata, hōʻoia o ke kūlike, hōʻoia o ka lemma pumping.

Ke kākau haʻawina kula kahi aʻu e kamaʻilio ai e pili ana i nā papa ʻano a me nā ʻano hilinaʻi.

ʻO kahi laʻana Agda, i hoʻonohonoho ʻia no Gitpod (www.gitpod.io) e hāʻawi iā ʻoe i kūkulu mua ʻia, ephemeral development environment i ke ao.

Hoʻopili ʻo Agda i nā ʻano premonoidal.

ʻO ka pāʻani o ke ola a Conway ma Agda..