Something went wrong. Try again.
The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org
dependent-types language compiler programming-language functional-programming
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408{ "nodes": { "cachix": { "inputs": { "devenv": [ "devenv" ], "flake-compat": [ "devenv", "flake-compat" ], "git-hooks": [ "devenv", "git-hooks" ], "nixpkgs": [ "devenv", "nixpkgs" ] }, "locked": { "lastModified": 1777487137, "narHash": "sha256-TuvKVBX60mqyMT6OB5JqVEh1YIWtFMR/igLCaCdC9tw=", "owner": "cachix", "repo": "cachix", "rev": "a66a440c321d35f7193472c317f42a55ccd1cb93", "type": "github" }, "original": { "owner": "cachix", "ref": "latest", "repo": "cachix", "type": "github" } }, "crate2nix": { "flake": false, "locked": { "lastModified": 1772186516, "narHash": "sha256-8s28pzmQ6TOIUzznwFibtW1CMieMUl1rYJIxoQYor58=", "owner": "rossng", "repo": "crate2nix", "rev": "ba5dd398e31ee422fbe021767eb83b0650303a6e", "type": "github" }, "original": { "owner": "rossng", "repo": "crate2nix", "rev": "ba5dd398e31ee422fbe021767eb83b0650303a6e", "type": "github" } }, "devenv": { "inputs": { "cachix": "cachix", "crate2nix": "crate2nix", "flake-compat": "flake-compat", "flake-parts": "flake-parts", "ghostty": "ghostty", "git-hooks": "git-hooks", "nix": "nix", "nixd": "nixd", "nixpkgs": "nixpkgs", "rust-overlay": "rust-overlay" }, "locked": { "lastModified": 1788303825, "narHash": "sha256-R1tqmYSV5yVTqmy+uISsSn+eEiqgW0F49orOHCOBSts=", "owner": "cachix", "repo": "devenv", "rev": "df5c75a82c3ac3d70a13c90fb869b7e44470a118", "type": "github" }, "original": { "owner": "cachix", "repo": "devenv", "type": "github" } }, "flake-compat": { "flake": false, "locked": { "lastModified": 1767039857, "narHash": "sha256-vNpUSpF5Nuw8xvDLj2KCwwksIbjua2LZCqhV1LNRDns=", "owner": "edolstra", "repo": "flake-compat", "rev": "5edf11c44bc78a0d334f6334cdaf7d60d732daab", "type": "github" }, "original": { "owner": "edolstra", "repo": "flake-compat", "type": "github" } }, "flake-compat_2": { "flake": false, "locked": { "lastModified": 1767039857, "narHash": "sha256-vNpUSpF5Nuw8xvDLj2KCwwksIbjua2LZCqhV1LNRDns=", "owner": "NixOS", "repo": "flake-compat", "rev": "5edf11c44bc78a0d334f6334cdaf7d60d732daab", "type": "github" }, "original": { "owner": "NixOS", "repo": "flake-compat", "type": "github" } }, "flake-parts": { "inputs": { "nixpkgs-lib": [ "devenv", "nixpkgs" ] }, "locked": { "lastModified": 1778716662, "narHash": "sha256-m1Yf0wZ8j1OHjTc2UwHwyQRSnNeSgLJOd7q5Y45hzi4=", "owner": "hercules-ci", "repo": "flake-parts", "rev": "f7c1a2d347e4c52d5fb8d10cb4d94b5884e546fb", "type": "github" }, "original": { "owner": "hercules-ci", "repo": "flake-parts", "type": "github" } }, "flake-parts_2": { "inputs": { "nixpkgs-lib": [ "nixpkgs" ] }, "locked": { "lastModified": 1788450739, "narHash": "sha256-glZLQlzIn1fXH6PazR2iUmTo7kzzyYSshrWhLS9TqCU=", "owner": "hercules-ci", "repo": "flake-parts", "rev": "31729ca8cbdb4fa927b34e5f4353e6a83f39e993", "type": "github" }, "original": { "owner": "hercules-ci", "repo": "flake-parts", "type": "github" } }, "ghostty": { "flake": false, "locked": { "lastModified": 1784602798, "narHash": "sha256-298x90knBUWX5GHGXh2SKsAKvStjU2ri9UgOGoF79/8=", "owner": "ghostty-org", "repo": "ghostty", "rev": "88b4cd047fa627cdca6781bc7e7dc8b75a2cecb9", "type": "github" }, "original": { "owner": "ghostty-org", "repo": "ghostty", "type": "github" } }, "git-hooks": { "inputs": { "flake-compat": [ "devenv", "flake-compat" ], "nixpkgs": [ "devenv", "nixpkgs" ] }, "locked": { "lastModified": 1782908218, "narHash": "sha256-wLMOrPgVyeF3XmP+qfYcLqnVdTxikdcSvbIY7rA9jTA=", "owner": "cachix", "repo": "git-hooks.nix", "rev": "9f7e99119ece7705299595299f3b031f39356de1", "type": "github" }, "original": { "owner": "cachix", "repo": "git-hooks.nix", "type": "github" } }, "git-hooks_2": { "inputs": { "flake-compat": "flake-compat_2", "nixpkgs": [ "nixpkgs" ] }, "locked": { "lastModified": 1788267358, "narHash": "sha256-nt+lUqYVpc9Y6JeMd2WmXzCDojasdadKo0mWcluvY2Y=", "owner": "cachix", "repo": "git-hooks.nix", "rev": "27555e2624241fb116b49095df4caaee85a25691", "type": "github" }, "original": { "owner": "cachix", "repo": "git-hooks.nix", "type": "github" } }, "nix": { "inputs": { "flake-compat": [ "devenv", "flake-compat" ], "flake-parts": [ "devenv", "flake-parts" ], "git-hooks-nix": [ "devenv", "git-hooks" ], "nixpkgs": [ "devenv", "nixpkgs" ], "nixpkgs-23-11": [ "devenv" ], "nixpkgs-regression": [ "devenv" ] }, "locked": { "lastModified": 1788036898, "narHash": "sha256-3NT3yTvoRT7+rxLDNovpyeTDIJkZlBoO72rcu2x9Y9o=", "owner": "cachix", "repo": "nix", "rev": "b9b81726b38469c55b9706d80d37d6c73cc7f76c", "type": "github" }, "original": { "owner": "cachix", "ref": "devenv-2.35", "repo": "nix", "type": "github" } }, "nixd": { "inputs": { "flake-parts": [ "devenv", "flake-parts" ], "nixpkgs": [ "devenv", "nixpkgs" ], "treefmt-nix": "treefmt-nix" }, "locked": { "lastModified": 1783935112, "narHash": "sha256-IAQ14nteIKXAz4cd75UcZrsHGEVJ7QNrkUwX9rmeZ/Y=", "owner": "nix-community", "repo": "nixd", "rev": "a64cd33e53b316b6b092ea0a966640cd2309bf3d", "type": "github" }, "original": { "owner": "nix-community", "repo": "nixd", "type": "github" } }, "nixpkgs": { "inputs": { "nixpkgs-src": "nixpkgs-src" }, "locked": { "lastModified": 1787753358, "narHash": "sha256-Tl77VbWyAKrOfRNQhL6JbQtb/MLzbYa/1RG1gWWfICk=", "owner": "cachix", "repo": "devenv-nixpkgs", "rev": "256551e45f6303e142ab4a98be1bf243feb77dc0", "type": "github" }, "original": { "owner": "cachix", "ref": "rolling", "repo": "devenv-nixpkgs", "type": "github" } }, "nixpkgs-src": { "flake": false, "locked": { "lastModified": 1787394516, "narHash": "sha256-pRGOQSClnXNI2iLUG6DYpsGvYcuw0drOutVZFTJNw90=", "owner": "NixOS", "repo": "nixpkgs", "rev": "c8f90650c15282fa8656a041bfbbd2403997a9a7", "type": "github" }, "original": { "owner": "NixOS", "ref": "nixpkgs-unstable", "repo": "nixpkgs", "type": "github" } }, "nixpkgs-src_2": { "flake": false, "locked": { "lastModified": 1787394516, "narHash": "sha256-pRGOQSClnXNI2iLUG6DYpsGvYcuw0drOutVZFTJNw90=", "owner": "NixOS", "repo": "nixpkgs", "rev": "c8f90650c15282fa8656a041bfbbd2403997a9a7", "type": "github" }, "original": { "owner": "NixOS", "ref": "nixpkgs-unstable", "repo": "nixpkgs", "type": "github" } }, "nixpkgs_2": { "inputs": { "nixpkgs-src": "nixpkgs-src_2" }, "locked": { "lastModified": 1787753358, "narHash": "sha256-Tl77VbWyAKrOfRNQhL6JbQtb/MLzbYa/1RG1gWWfICk=", "owner": "cachix", "repo": "devenv-nixpkgs", "rev": "256551e45f6303e142ab4a98be1bf243feb77dc0", "type": "github" }, "original": { "owner": "cachix", "ref": "rolling", "repo": "devenv-nixpkgs", "type": "github" } }, "root": { "inputs": { "devenv": "devenv", "flake-parts": "flake-parts_2", "git-hooks": "git-hooks_2", "nixpkgs": "nixpkgs_2" } }, "rust-overlay": { "inputs": { "nixpkgs": [ "devenv", "nixpkgs" ] }, "locked": { "lastModified": 1782875958, "narHash": "sha256-5eqDcnBjb1424HRQdnhuhNOBZguq1Z2tqSa2OMF/m2c=", "owner": "oxalica", "repo": "rust-overlay", "rev": "13139aefa973f3d96c60c0fbab801de058ae25ca", "type": "github" }, "original": { "owner": "oxalica", "repo": "rust-overlay", "type": "github" } }, "treefmt-nix": { "inputs": { "nixpkgs": [ "devenv", "nixd", "nixpkgs" ] }, "locked": { "lastModified": 1780220602, "narHash": "sha256-eynAfOmbmxJnkp7YewvCEbShNnnYJ9gLLqkzsYtBPeM=", "owner": "numtide", "repo": "treefmt-nix", "rev": "db947814a175b7ca6ded66e21383d938df01c227", "type": "github" }, "original": { "owner": "numtide", "repo": "treefmt-nix", "type": "github" } } }, "root": "root", "version": 7}