Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Tracker SCM

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 (13 years, 4 months 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

ViewVC Help
Powered by ViewVC 1.0.0