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
Description: refl
        ====
        
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
Provides-Extra: test
Provides-Extra: dev
