跳去內容
主目錄
主目錄
移去側欄
收埋
導覽
頭版
目錄
正嘢
時人時事
是但一版
關於維基百科
聯絡處
交流
說明書
城市論壇
社區大堂
最近修改
查嘢
搵嘢
捐畀維基百科
閱讀設定
開戶口
簽到
個人架生
開戶口
簽到
未簽到編者用嘅版面
知多啲
貢獻
同呢個互聯網地址嘅匿名人傾偈
Idris
9種語言
Català
Čeština
English
فارسی
日本語
Nederlands
Română
Русский
中文
改拎
文章
討論
粵語
閱
改
睇返紀錄
架撐
架撐
移去側欄
收埋
動作
閱
改
睇返紀錄
基本
有乜連過嚟
連結頁嘅更改
上載檔案
專門版
固定連結
此版明細
引用呢篇文
攞短網址
下載QR code
維基數據項
打印/匯出
下載PDF
印得嘅版本
第啲維基項目
閱讀設定
移去側欄
收埋
出自維基百科,自由嘅百科全書
呢篇文可能要
清理或者重寫
,令佢更符合維基百科嘅
質素標準
。
如果你有能力又咁啱得閒,可以
改善吓呢篇文
。
Idris
係一隻純函數式
程式語言
,具有依賴類型、可以揀嘅惰性求值仲有整體檢查器等嘅功能。Idris 通常畀人攞嚟做證明助手,但佢喺設計嗰陣諗住攞嚟做類似於 Haskell 嘅通用編程語言。
Idris
係
電算
楔位文
,你可以
編輯佢
充實內容。
屬於3類
:
維基百科清理
電算楔類
程式語言
屬於1隱類:
全部需要清理嘅文