search

rafoo / dklib

General purpose, hand-written, dedukti files
2 stars 3 forks source link

Fix syntax and usage of dkdep for next version of Dedukti. #2

Closed rlepigre closed 6 years ago

rlepigre commented 6 years ago

Related to https://github.com/Deducteam/Dedukti/pull/38.

rafoo commented 6 years ago

Thank you for the contribution, I merged this in branch v2.6.

rlepigre commented 6 years ago

Cool!