?

Log in

No account? Create an account
Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Apr. 18th, 2007|11:59 pm]
Jason
[Tags|]

LF meeting today was pretty interesting. Talked about the definitions (both strict and %abbrev style) at the term and type level and how they might interact with the module system.
LinkReply