#

static-typed

Here is 1 public repository matching this topic...

lambe-lang / specification

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

functional-programming abstract-data-types traits static-typed higher-kinded-types

Updated May 5, 2023
TeX

Improve this page

Add a description, image, and links to the static-typed topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the static-typed topic, visit your repo's landing page and select "manage topics."