 |
w:WP:STUB ꠁ ꠙꠣꠔꠣ ꠁꠈꠣꠘ ꠀꠛꠧ ꠇꠥꠠꠤ ꠞꠂꠍꠦ ⁕ ꠈꠣꠟꠤ ꠝꠣꠔ ꠃꠑꠣꠘꠤꠞ ꠟꠣꠉꠤ ꠀꠞꠝ꠆ꠛ ꠇꠞꠣ ꠅꠁꠍꠦ ⁕ ꠁꠟꠣꠘ ꠀꠞꠅ ꠘꠄꠀ ꠇꠥꠠꠤꠘ꠆ꠔꠞ ꠙꠣꠔꠣꠁꠘ ꠖꠦꠈꠂꠘ ⁕ ꠁ ꠛꠦꠙꠣꠞꠦ ꠀꠙꠘꠣꠁꠘ꠆ꠔꠞ ꠇꠥꠘꠔꠣ ꠙꠥꠞꠣꠘꠤꠞ ꠕꠣꠇ꠆ꠟꠦ ꠟꠇ꠆ꠖꠤ ꠟꠦꠈꠤꠀ ꠙꠣꠔꠣ ꠁꠈꠣꠘ ꠀꠞꠧ ꠛꠟꠣꠁꠔꠣ ꠙꠣꠞꠂꠘ ⁕ |
ꠄꠉꠖꠣ ꠅꠁꠟꠅ ꠄꠉꠥ ꠇꠝ꠆ꠙꠥꠐꠣꠞꠞ ꠜꠣꠡꠣ ⁕
ꠄꠉꠖꠣ
| ꠍꠛꠤ |  |
|---|---|
| ꠎꠦ ꠎꠤꠘꠤꠡꠞ | functional programming language, purely functional programming language, dependently typed programming language, programming language, free software, proof assistant |
| ꠜꠤꠔ꠆ꠔꠤ ꠉꠣꠞꠣ ꠅꠁꠍꠦ |    |
| ꠍꠚꠐꠅꠄꠀꠞ ꠜꠣꠞꠡꠘꠞ ꠀꠁꠒꠤ | ... |
| P178 | Chalmers University of Technology |
| ꠎꠦꠐꠣꠄ ꠀꠍꠞ ꠇꠞꠦ | Rocq, Epigram, Haskell |
| P3966 | purely functional programming |
| P306 | Microsoft Windows, Unix-like operating system |
| P1072 | Literate Agda source code file |
| P1073 | Literate Agda source code file |
| P277 | Haskell |
| P1324 | https://github.com/agda/agda |
| P2992 | continuous integration |
| ꠅꠚꠤꠡꠤꠀꠟ ꠅꠄꠛꠍꠣꠁꠐ | https://wiki.portal.chalmers.se/agda/pmwiki.php |
| P275 | BSD licenses |
ꠀꠞꠅ ꠖꠦꠈꠂꠘ
ꠟꠇ
ꠃꠁꠇꠤꠛꠁ more ꠄꠉꠖꠣ
ꠃꠁꠇꠤꠙꠣꠡ꠆ꠡꠣꠟꠣꠔ ꠢꠤꠇꠣꠞ ꠎꠤꠘꠤꠡꠣꠁꠘ ꠀꠍꠦ ꠄꠉꠖꠣ
ꠕꠥꠇꠣꠘꠤ
| ꠀ | ꠁ | ꠃ | ꠄ | ꠅ | ꠇ | ꠈ | ꠉ | ꠊ | ꠌ | ꠍ | ꠎ | ꠏ | ꠐ | ꠑ | ꠒ |
| ꠔ | ꠕ | ꠖ | ꠗ | ꠘ | ꠙ | ꠚ | ꠛ | ꠜ | ꠝ | ꠞ | ꠟ | ꠡ | ꠢ | ꠠ | ꠓ |
|
|
|
|
|
|
|
|
|
|
|
