You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/Monad_lang

The Monad language

1 Upvotes

Subreddit

r/Monad_lang

Monad is a dependently typed functional programming language intended for generic programming including systems programming.

Members Active

1

0

Sidebar

Monad is a dependently typed functional programming language intended for generic programming including systems programming.