Wp/syl/ꠄꠉꠖꠣ
Appearance
ꠄꠉꠖꠣ
ꠍꠛꠤ | |
---|---|
ꠎꠦ ꠎꠤꠘꠤꠡꠞ | functional programming language, purely functional programming language, dependently typed programming language, programming language, free software, proof assistant |
ꠜꠤꠔ꠆ꠔꠤ ꠉꠣꠞꠣ ꠅꠁꠍꠦ | |
ꠍꠚꠐꠅꠄꠀꠞ ꠜꠣꠞꠡꠘꠞ ꠀꠁꠒꠤ | ... |
ꠎꠦꠐꠣꠄ ꠀꠍꠞ ꠇꠞꠦ | Coq, Epigram, Haskell |
P3966 | purely functional programming |
P178 | Chalmers University of Technology |
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 |
ꠄꠉꠖꠣ ꠅꠁꠟꠅ ꠄꠉꠥ ꠇꠝ꠆ꠙꠥꠐꠣꠞꠞ ꠜꠣꠡꠣ ⁕
ꠀꠞꠅ ꠖꠦꠈꠂꠘ
[edit source]- Wp/syl/ꠜꠣꠞꠈꠣꠝ
- Wp/syl/ꠈꠣꠖꠤꠎꠣ
- Wp/syl/ꠄꠟꠤꠇꠎꠣꠞ
- Wp/syl/ꠃꠁꠇꠤꠙꠤꠒꠤꠀ:ꠍꠤꠟꠐꠤ ꠙꠎꠦꠇ꠆ꠐ
- Wp/syl/ꠃꠁꠇꠤꠙꠤꠒꠤꠀ:ꠀꠙ꠆ꠌꠣ ꠝꠤꠘ꠆ꠔꠣꠘꠤ
ꠟꠇ
[edit source]ꠃꠁꠇꠤꠛꠁ more ꠄꠉꠖꠣ
ꠃꠁꠇꠤꠙꠣꠡ꠆ꠡꠣꠟꠣꠔ ꠢꠤꠇꠣꠞ ꠎꠤꠘꠤꠡꠣꠁꠘ ꠀꠍꠦ ꠄꠉꠖꠣ
ꠕꠥꠇꠣꠘꠤ
[edit source]ꠀ | ꠁ | ꠃ | ꠄ | ꠅ | ꠇ | ꠈ | ꠉ | ꠊ | ꠌ | ꠍ | ꠎ | ꠏ | ꠐ | ꠑ | ꠒ |
ꠔ | ꠕ | ꠖ | ꠗ | ꠘ | ꠙ | ꠚ | ꠛ | ꠜ | ꠝ | ꠞ | ꠟ | ꠡ | ꠢ | ꠠ | ꠓ |