Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pkgs.racket-lang.org : acl2s-scribblings

a scribble document for beginner mode of ACL2s

Registry - Source - Documentation - JSON
purl: pkg:racket/acl2s-scribblings
License: MIT
Latest release: 1 day ago
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 1 day ago

Readme