Wp/syl/ꠁꠖ꠆ꠞꠤꠍ

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

ꠁꠖ꠆ꠞꠤꠍ

ꠎꠦ ꠎꠤꠘꠤꠡꠞ	purely functional programming language, programming language, dependently typed programming language, proof assistant
ꠜꠤꠔ꠆ꠔꠤ ꠉꠣꠞꠣ ꠅꠁꠍꠦ
ꠍꠚꠐꠅꠄꠀꠞ ꠜꠣꠞꠡꠘꠞ ꠀꠁꠒꠤ	..
ꠎꠦꠐꠣꠄ ꠀꠍꠞ ꠇꠞꠦ	Haskell, Agda, Coq, Clean, Epigram
P3966	functional programming, purely functional programming, total functional programming
P1072	Idris source code file, Literate Idris source code file
P1073	Idris source code file, Literate Idris source code file
P277	Haskell
P1324	https://github.com/idris-lang/Idris-dev
ꠅꠚꠤꠡꠤꠀꠟ ꠅꠄꠛꠍꠣꠁꠐ	https://www.idris-lang.org
P275	BSD licenses
P7078	dependent typing, static typing, linear typing, uniqueness typing
P1613	irc://libera.chat/#idris
P1195	idr, lidr
P3454	idris

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

ꠀꠞꠅ ꠖꠦꠈꠂꠘ

• Wp/syl/ꠄꠟꠤꠇꠎꠣꠞ
• Wp/syl/ꠃꠁꠇꠤꠙꠤꠒꠤꠀ:ꠛꠦꠛꠀꠞ ꠇꠞ꠆ꠞꠣ
• Wp/syl/ꠃꠁꠇꠤꠙꠤꠒꠤꠀ:ꠄꠒꠝꠤꠘꠅꠇꠟ
• Wp/syl/ꠃꠁꠇꠤꠙꠤꠒꠤꠀ:ꠍꠤꠟꠐꠤ ꠙꠎꠦꠇ꠆ꠐ
• Wp/syl/ꠃꠁꠇꠤꠙꠤꠒꠤꠀ:ꠛꠐꠞ ꠔꠟ

ꠟꠇ

ꠕꠥꠇꠣꠘꠤ

ꠀ

ꠁ

ꠃ

ꠄ

ꠅ

ꠇ

ꠈ

ꠉ

ꠊ

ꠌ

ꠍ

ꠎ

ꠏ

ꠐ

ꠑ

ꠒ

ꠔ

ꠕ

ꠖ

ꠗ

ꠘ

ꠙ

ꠚ

ꠛ

ꠜ

ꠝ

ꠞ

ꠟ

ꠡ

ꠢ

ꠠ

ꠓ

This is an open test wiki of the Wikimedia Incubator. You can search for other projects in Sylheti language: Sylheti Wikipedia · Sylheti Wiktionary · Sylheti Wikibooks · Sylheti Wikinews · Sylheti Wikiquote · Sylheti Wikivoyage · Sylheti Wikisource · Sylheti Wikiversity