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

SCM Repository

[smlnj] Revision 3311
ViewVC logotype

Revision 3311


Jump to revision: Previous Next
Author: gkuan
Date: Mon May 4 12:53:35 2009 UTC (10 years, 1 month ago)
Log Message:
Added some documentation of instantiate with goal of understanding how curried functor parameter signatures are instantiate.

Changed paths:

Path Details
Directorysml/branches/primop-branch-3/compiler/DEVNOTES/ElabMod/instantiate-notes.txt added

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