Uncategorized

未分类
  2.8k
未分类

Idris2

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