monad-lang.org / monad
The Monad language. Dependent types, functional programming in a rust environment. Hobby project. monad-lang.org
dependent-types language compiler programming-language functional-programming
6
fork

Configure Feed

Select the types of activity you want to include in your feed.

0 pipeline runs

No pipelines have been run yet

Get started by configuring CI/CD for this repository

1

Choose a spindle in your repository settings

2

Configure your CI/CD pipeline

3

Trigger a workflow with a push or pull request