phc-adt-lib

Implementation of phc-adt

Build status: failed missing license metadata

README Download
Authors
Documentation
    Tags
    License
      Last updatedMonday, March 9th, 2026 5:37:56am (UTC)
      Ring2
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://phc-adt-git.suzanne.soy/phc-adt.git?path=phc-adt-lib#main36c1047c4899d1b478cc6052f9b2e71168aeefb5
      Last checkedTuesday, March 10th, 2026 1:40:26am (UTC)
      Last editedFriday, February 13th, 2026 11:35:08am (UTC)
      Date addedTuesday, March 25th, 2025 1:18:13am (UTC)
      Modules
      • phc-adt/node-low-level.hl.rkt
      • phc-adt/constructor.hl.rkt
      • phc-adt/tagged-structure-low-level.hl.rkt
      • phc-adt/ctx.hl.rkt
      • phc-adt/declarations.rkt
      • phc-adt/check-no-overlap.rkt
      • phc-adt/main.rkt
      • phc-adt/variant.hl.rkt
      • phc-adt/tagged.hl.rkt
      • phc-adt/adt.hl.rkt
      • phc-adt/adt-init.rkt
      • phc-adt/adt-second-step.rkt
      • phc-adt/structure.hl.rkt
      • phc-adt/tagged-supertype.hl.rkt