README.md
setup.cfg
setup.py
coconut_prelude.egg-info/PKG-INFO
coconut_prelude.egg-info/SOURCES.txt
coconut_prelude.egg-info/dependency_links.txt
coconut_prelude.egg-info/requires.txt
coconut_prelude.egg-info/top_level.txt
prelude/__coconut__.py
prelude/__init__.py
prelude/main.py
prelude/test.py
prelude/typevars.py
prelude/util.py
prelude/util_test.py