Changeset bea0291


Ignore:
Timestamp:
Apr 22, 2025, 8:22:08 PM (3 weeks ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
f632bd50
Parents:
691a4b7
Message:

change section title to capitalization

Location:
doc/theses/fangren_yu_MMath
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • doc/theses/fangren_yu_MMath/background.tex

    r691a4b7 rbea0291  
    6868
    6969
    70 \section{Type resolution}
     70\section{Type Resolution}
    7171
    7272\CFA expression resolution must deal with extensive overloading and inference of polymorphic types with assertions.

  • doc/theses/fangren_yu_MMath/future.tex

    r691a4b7 rbea0291  
    66
    77
    8 \section{Closed trait types}
     8\section{Closed Trait Types}
    99
    1010Currently, \CFA does not have any closed types, as open type are the basis of its unique type-system, allowing new functions to be added at any time to override existing ones for trait satisfaction.
    … …  
    157157
    158158
    159 \section{User-defined conversions}
     159\section{User-defined Conversions}
    160160
    161161Missing type-system feature is a scheme for user-defined conversions.
Note: See TracChangeset for help on using the changeset viewer.