Skip to content

@Idris-zh Idris 中文文档

Change the repository type filter

All

    Repositories list

    5 repositories

    • Idris2

      Public
      A purely functional programming language with first class types
      Idris
      •
      Other
      •408•0•0•0•Updated May 5, 2022May 5, 2022

    • Idris-dev

      Public
      用作文档目的，翻译方式见 Issue #10
      Haskell
      •
      Other
      •629•41•5•0•Updated Apr 1, 2019Apr 1, 2019

    • TDD-with-Idris

      Public
      用于存放一些资料。
      0•0•0•0•Updated Mar 8, 2018Mar 8, 2018

    • software-foundations

      Public
      《软件基础：Idris 语言描述》
      Idris
      •
      Other
      •36•2•0•0•Updated Nov 5, 2017Nov 5, 2017

    • TypeDD-Samples

      Public
      Sample code from "Type Driven Development with Idris"
      Idris
      •
      MIT License
      •43•0•0•0•Updated Aug 6, 2017Aug 6, 2017
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.