lemma/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lemma/algebra.hy,sha256=av-bzpQsOHpnm_9RGYf5sJM5e5jahLMUtKWggnCCn3o,2254
lemma/cmdline.py,sha256=Tsu_-TfHUvdOpukCkNvmFXEUDsg2eIsAwWRYBn52hjg,362
lemma/core.hy,sha256=3K580MLXKPdZY_mGSt1dJNXzphQa3oSzHSs6jINIZ7s,22190
lemma/docmd.hy,sha256=ZVkpn8OQmC7YXAeEexzlvCUtafIWab9ZkU4FCz5kZZI,4097
lemma/exceptions.hy,sha256=IcFu5mSnVqUoG74A7wOVaQ2TVj_AVJkdsO2ZlusGCn0,506
lemma/ipython.py,sha256=1CbUYYSAvGOuJlnA-l1ElNYqsLsAhZgaIg95Rwos_-Y,2413
lemma/lang.hy,sha256=FQud3x4UqozapF_S1xvaTpi87xtEkmOdIECeZC6u5VE,17445
lemma/precedence.hy,sha256=aHnA5eC_HWA-0Q8FOUPM6YkXcbFI0c2lsYn6EfAHPAI,1205
lemma/utils.hy,sha256=De4fXBrMYtlno-E-DryMgJvNlu6Ffb0w-t7cN-ZRUSM,544
lemma/domain/__init__.hy,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lemma/domain/algebra.hy,sha256=zXF1MSgCyQEcDNQOuHBKD8ULA8HI8FfEMqWKxFBL21s,6352
test/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
test/test_utils.py,sha256=rrRB7sNruLOem0Qps2qjf1AWwV4ld2SLl5vUtiR1R7c,42
tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lemma-1.0.2.dist-info/LICENSE,sha256=-bB8hJdjSOpqiEvXGg0_V-Sv1zXVj7oJA_W9rnNwyFs,1518
lemma-1.0.2.dist-info/METADATA,sha256=xo0kJuMuXWgj_q0k_yPg3SS2Zl8Y1TPqewwGEA3fD30,5680
lemma-1.0.2.dist-info/WHEEL,sha256=EVRjI69F5qVjm_YgqcTXPnTAv3BfSUr0WVAHuSP3Xoo,92
lemma-1.0.2.dist-info/entry_points.txt,sha256=QqLvO9uQsDaLpbV2ESWkmy4HBSx5D8b9G0rK22aUQAY,58
lemma-1.0.2.dist-info/top_level.txt,sha256=Hq5cJfRNRX0mJkVEXFQWgMG89YzbqVRJIbXray0t6e8,12
lemma-1.0.2.dist-info/RECORD,,
