Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /archive/0.93/doc/examples/missionaries/glue.sml
ViewVC logotype

View of /archive/0.93/doc/examples/missionaries/glue.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4958 - (download) (annotate)
Wed Apr 10 01:33:29 2019 UTC (3 months, 1 week ago) by dbm
File size: 245 byte(s)
adding 0.93 src and doc to archive
(* 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

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0