FP /

Derivation-CarryingCodeUsingDependentTypes

Mentioned here:


Internal access:

  • Library source code
    darcs get agda@pc-scm.iis.sinica.edu.tw:/Users/Shared/AoPA
  • Paper source code
    darcs get agda@pc-scm.iis.sinica.edu.tw:/Users/Shared/AoP_Agda