Metadata-Version: 2.1
Name: refl
Version: 0.1
Summary: Agda productivity tool
Home-page: https://github.com/pypa/refl
Author: Russi Chatterjee
Author-email: root@ixaxaar.in
License: MIT
Keywords: refl,the agda tool for humans
Platform: UNKNOWN
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: Topic :: Software Development :: Compilers
Classifier: Topic :: Software Development :: Build Tools
Classifier: Topic :: Software Development :: Interpreters
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Haskell
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.3
Classifier: Programming Language :: Python :: 3.4
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6
Requires-Python: >=3
Requires-Dist: mypy
Requires-Dist: pytest
Requires-Dist: file-downloader
Requires-Dist: coloredlogs
Requires-Dist: tqdm
Requires-Dist: typed-ast
Requires-Dist: unittest2
Provides-Extra: dev
Requires-Dist: check-manifest ; extra == 'dev'
Provides-Extra: test
Requires-Dist: coverage ; extra == 'test'

refl
====


