.github · monad · Tangled

anders.sorby.xyz / monad

The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project.

monad .github

1 folder

Anders Christiansen Sørby · ci: call the step scripts in the dev shell so their output is shown · 2w ago

ci: call the step scripts in the dev shell so their output is shown