ꠄꠉꠖꠣ

w:WP:STUB ꠁ ꠙꠣꠔꠣ ꠁꠈꠣꠘ ꠀꠛꠧ ꠇꠥꠠꠤ ꠞꠂꠍꠦ ⁕ ꠈꠣꠟꠤ ꠝꠣꠔ ꠃꠑꠣꠘꠤꠞ ꠟꠣꠉꠤ ꠀꠞꠝ꠆ꠛ ꠇꠞꠣ ꠅꠁꠍꠦ ⁕ ꠁꠟꠣꠘ ꠀꠞꠅ ꠘꠄꠀ ꠇꠥꠠꠤꠘ꠆ꠔꠞ ꠙꠣꠔꠣꠁꠘ ꠖꠦꠈꠂꠘ ⁕ ꠁ ꠛꠦꠙꠣꠞꠦ ꠀꠙꠘꠣꠁꠘ꠆ꠔꠞ ꠇꠥꠘꠔꠣ ꠙꠥꠞꠣꠘꠤꠞ ꠕꠣꠇ꠆ꠟꠦ ꠟꠇ꠆ꠖꠤ ꠟꠦꠈꠤꠀ ꠙꠣꠔꠣ ꠁꠈꠣꠘ ꠀꠞꠧ ꠛꠟꠣꠁꠔꠣ ꠙꠣꠞꠂꠘ ⁕

ꠄꠉꠖꠣ

ꠍꠛꠤ
ꠎꠦ ꠎꠤꠘꠤꠡꠞ	functional programming language ꠨ purely functional programming language ꠨ dependently typed programming language ꠨ programming language ꠨ free software ꠨ proof assistant
ꠜꠤꠔ꠆ꠔꠤ ꠉꠣꠞꠣ ꠅꠁꠍꠦ
ꠍꠚꠐꠅꠄꠀꠞ ꠜꠣꠞꠡꠘꠞ ꠀꠁꠒꠤ	..
developer	Chalmers tekniska högskola AB
ꠎꠦꠐꠣꠄ ꠀꠍꠞ ꠇꠞꠦ	The Rocq Prover ꠨ Epigram ꠨ ꠢꠣꠍꠇꠦꠟ
programming paradigm	purely functional programming
operating system	Microsoft Windows ꠨ Unix-like operating system
readable file format	Literate Agda source code file
writable file format	Literate Agda source code file
programmed in	ꠢꠣꠍꠇꠦꠟ
source code repository URL	https://github.com/agda/agda
software quality assurance	continuous integration
ꠅꠚꠤꠡꠤꠀꠟ ꠅꠄꠛꠍꠣꠁꠐ	https://wiki.portal.chalmers.se/agda/pmwiki.php
copyright license	BSD licenses

ꠄꠉꠖꠣ ꠅꠁꠟꠅ ꠄꠉꠥ ꠇꠝ꠆ꠙꠥꠐꠣꠞꠞ ꠜꠣꠡꠣ ⁕

ꠀꠞꠅ ꠖꠦꠈꠂꠘ

{{{text}}}

ꠕꠥꠇꠣꠘꠤ

ꠀ

ꠁ

ꠃ

ꠄ

ꠅ

ꠇ

ꠈ

ꠉ

ꠊ

ꠌ

ꠍ

ꠎ

ꠏ

ꠐ

ꠑ

ꠒ

ꠔ

ꠕ

ꠖ

ꠗ

ꠘ

ꠙ

ꠚ

ꠛ

ꠜ

ꠝ

ꠞ

ꠟ

ꠡ

ꠢ

ꠠ

ꠓ