We have basic tests in basic_tinantas, but these need more work.
The difficulty here is somewhere between #16 and #17. In particular, I'm not sure how to derive the अजादिs (e.g. I can understand अशश्यते but not अशाश्यते, so I think I'm missing a rule). But the main difficulty will be implementing the right order for various changes: dhatu substitutions, dvitva, samprasarana. (Our current order works for basic verbs in kartari prayoga but is failing here.)
We have basic tests in
basic_tinantas
, but these need more work.The difficulty here is somewhere between #16 and #17. In particular, I'm not sure how to derive the अजादिs (e.g. I can understand अशश्यते but not अशाश्यते, so I think I'm missing a rule). But the main difficulty will be implementing the right order for various changes: dhatu substitutions, dvitva, samprasarana. (Our current order works for basic verbs in kartari prayoga but is failing here.)