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 /papers/modulespaper/apply-fct/r.ml
ViewVC logotype

View of /papers/modulespaper/apply-fct/r.ml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 3564 - (download) (annotate)
Thu Sep 30 13:33:05 2010 UTC (8 years, 9 months ago) by dbm
File size: 95 byte(s)
initial import
module R =
  module R1 = APPS(F1)
  module R2 = APPS(F2)
  val res = (R1.x = R2.x)

ViewVC Help
Powered by ViewVC 1.0.0