Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-01-23 | doc: update idris2 documentation on buildIdris | Mathew Polzin | 1 | -3/+3 |
2024-01-15 | doc: idris2 section | Mathew Polzin | 1 | -0/+47 |
index : mirror/nixpkgs | ||
Nix packages collection |
about summary refs log tree commit diff |
Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-01-23 | doc: update idris2 documentation on buildIdris | Mathew Polzin | 1 | -3/+3 |
2024-01-15 | doc: idris2 section | Mathew Polzin | 1 | -0/+47 |