Skip to content
Change the repository type filter

Forks

    Repositories list

    • Idris2

      Public
      A purely functional programming language with first class types
      Idris
      Other
      381000Updated May 5, 2022May 5, 2022
    • Idris-dev

      Public
      用作文档目的,翻译方式见 Issue #10
      Haskell
      Other
      6414150Updated Apr 1, 2019Apr 1, 2019
    • 《软件基础:Idris 语言描述》
      Idris
      Other
      34200Updated Nov 5, 2017Nov 5, 2017
    • Sample code from "Type Driven Development with Idris"
      Idris
      MIT License
      42000Updated Aug 6, 2017Aug 6, 2017
    4 repositories found. List is sorted by Last pushed in descending order.