A friendly programming language from the future

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Deep learning via category theory and functional programming

Companies without centralization. A system for people who want to work together to build things, but don't want hierarchy or central control.

being a programming language for sequential circuits

Closure calculus implementation

Very secret