Return to glue.sml CVS log

Up to [Research Unix] / researchv10no / cmd / sml / doc / examples / missionaries

Annotation of researchv10no/cmd/sml/doc/examples/missionaries/glue.sml, revision 1.1

1.1     ! root        1: (* glue.sml *)
        !             2: 
        !             3: structure SolveDF = Search(structure States = MandC and Buffer = DF)
        !             4: 
        !             5: structure SolveBF = Search(structure States = MandC and Buffer = BF)
        !             6: 
        !             7: fun go_df () = SolveDF.search MandC.initial
        !             8: 
        !             9: fun go_bf () = SolveBF.search MandC.initial

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.