Uncategorized

未分类
  2.7k
未分类

Idris2

A dependently typed programming language, a successor to Idr...
NOASSERTION
Idris
To the top