LICENSE
README.md
pyproject.toml
rose/__init__.py
rose/__main__.py
rose/cli.py
rose/compiler.py
rose/corpus.py
rose/diag.py
rose/knowledge.py
rose/lexer.py
rose/lib.py
rose/nodes.py
rose/parser.py
rose/quantities.py
rose/spec.py
rose/std.py
rose/tex.py
rose/types.py
rose/units.py
rose/std/LICENSES.md
rose/std/catalog.jsonl.gz
rose/std/index.json
rose/std/knowledge.key
rose/std/knowledge.sqlite.gz
rose/std/law.rose
rose/std/math.rose
rose/std/open.rose
rose/std/problems.json
rose/std/const/codata.rose
rose/std/sets/mathlib.impl.jsonl.gz
rose/std/sets/mathlib.jsonl.gz
rose/std/sets/rosetta.impl.jsonl.gz
rose/std/sets/rosetta.jsonl.gz
roselang.egg-info/PKG-INFO
roselang.egg-info/SOURCES.txt
roselang.egg-info/dependency_links.txt
roselang.egg-info/entry_points.txt
roselang.egg-info/requires.txt
roselang.egg-info/top_level.txt
tests/test_lib.py
tests/test_spec.py