Matches in Secure Chain KG for { <https://crates.io/crates/agda-mode/> ?p ?o ?g. }
Showing items 1 to 15 of
15
with 100 items per page.
- agda-mode name "agda-mode" @default.
- agda-mode programmingLanguage "Rust" @default.
- agda-mode type Software @default.
- agda-mode ecosystem "Cargo" @default.
- agda-mode hasSoftwareVersion 0.0.1 @default.
- agda-mode hasSoftwareVersion 0.0.2 @default.
- agda-mode hasSoftwareVersion 0.1.0 @default.
- agda-mode hasSoftwareVersion 0.1.1 @default.
- agda-mode hasSoftwareVersion 0.1.2 @default.
- agda-mode hasSoftwareVersion 0.1.3 @default.
- agda-mode hasSoftwareVersion 0.1.4 @default.
- agda-mode hasSoftwareVersion 0.1.5 @default.
- agda-mode hasSoftwareVersion 0.1.6 @default.
- agda-mode hasSoftwareVersion 0.1.7 @default.
- agda-mode hasSoftwareVersion 0.1.8 @default.