KeithTsui

Some use of Y Combinator in Swift. And other Combinators K, S, I.

co-inductive type in Swift, which is somewhat impossible (but not really).

Generalized Propositional Logics with their syntax and semantics.

Show some concepts about Logic Hierarchy and Fisrt-Order Logic Language

A flowchart to show the main transformations of IR into Asm or binary code.

LLVM backend class descriptions, particular for TargetLowering and FrameLowering.

The LLVM backend transformation steps from IR Lowering to Asm output and their related code.

IR Memory Representation and how to build up those IRs.

the third part of LLVM IR to Asm that shows the passes for transformations and analyses.