Idris2:纯函数式编程语言，支持一流类型与类型驱动开发

Star0

Star0

A purely functional programming language with first class types

Branch10 Tags10

Introduction

一种具有一等类型特性的纯函数式编程语言【此简介由AI生成】

Others Idris 4.02 KCommitscompiler dependent-types hacktoberfest

Customize your domain

613.01 K407Visit GitHub