2 Commits

Author	SHA1	Message	Date
Humza Shahid	d3795c771a	implement a function which descends down to a particular position, and then computes followpos: there were previously two separate functions performing these two tasks	2025-10-05 12:04:20 +01:00
Humza Shahid	7e2021be24	tiny changes to dfa-gen.sml to make it more presentable when asking for advice	2025-10-03 07:29:28 +01:00