lambe-lang/specification

A statically typed functional programming inspired by Haskell, OCaml and Rust.

语言：TeX · GitHub 星标：8 · Fork：0

话题：abstract-data-types · functional-programming · higher-kinded-types · static-typed · traits

在 GitHub 上查看原仓库