[BACK]Return to glue.sml CVS log [TXT] [DIR] Up to [Research Unix] / researchv10no / cmd / sml / doc / examples / missionaries
File:  [Research Unix] / researchv10no / cmd / sml / doc / examples / missionaries / glue.sml
Revision 1.1.1.1 (vendor branch): download - view: text, annotated - select for diffs
Tue Apr 24 17:21:35 2018 UTC (8 years, 1 month ago) by root
Branches: belllabs, MAIN
CVS tags: researchv10, HEAD
researchv10 Norman

(* glue.sml *)

structure SolveDF = Search(structure States = MandC and Buffer = DF)

structure SolveBF = Search(structure States = MandC and Buffer = BF)

fun go_df () = SolveDF.search MandC.initial

fun go_bf () = SolveBF.search MandC.initial
unix.superglobalmegacorp.com

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