Difference between revisions of "User:EndreyMark"
Jump to navigation
Jump to search
EndreyMark (talk | contribs) (First reference -- also: creating it -- a CombinatoryLogic page) |
EndreyMark (talk | contribs) (Creating a separate page for Dependent types, for being able to move Haskell Furure's dependent type details there) |
||
Line 2: | Line 2: | ||
I thought of creating a [[CombinatoryLogic]] page. |
I thought of creating a [[CombinatoryLogic]] page. |
||
+ | |||
+ | [[DependentTypes]] |