Compare commits

..

No commits in common. "c6bed88d378232692f6c23ab9af3fb86447eb778" and "0296e6ee1d28b6c2e7949965ef77cd4742c34b5c" have entirely different histories.

3 changed files with 846 additions and 870 deletions

View File

@ -1,5 +1,5 @@
Language: Cpp
AccessModifierOffset: -8
AccessModifierOffset: -4
AlignAfterOpenBracket: Align
AlignArrayOfStructures: Left
AlignConsecutiveMacros: None
@ -56,8 +56,8 @@ BreakStringLiterals: true
ColumnLimit: 99
QualifierAlignment: Left
CompactNamespaces: false
ConstructorInitializerIndentWidth: 8
ContinuationIndentWidth: 8
ConstructorInitializerIndentWidth: 4
ContinuationIndentWidth: 4
Cpp11BracedListStyle: true
DeriveLineEnding: true
DerivePointerAlignment: false
@ -79,7 +79,7 @@ IndentGotoLabels: false
IndentPPDirectives: None
IndentExternBlock: AfterExternBlock
IndentRequires: false
IndentWidth: 8
IndentWidth: 4
IndentWrappedFunctionNames: false
InsertTrailingCommas: Wrapped
InsertBraces: true
@ -141,7 +141,7 @@ SpacesInSquareBrackets: false
SpaceBeforeSquareBrackets: false
BitFieldColonSpacing: Both
Standard: Cpp11
TabWidth: 8
TabWidth: 4
UseCRLF: false
UseTab: Always

File diff suppressed because it is too large Load Diff

View File

@ -1,16 +0,0 @@
struct {
struct And<P, Q>(p: P, q: Q) {
left = Fn<>() -> P {
return p;
};
right = Fn<>() -> Q {
return q;
};
};
AndLeft = Fn<P, Q>(h: And<P, Q>) -> P {
return h.p;
};
} main;