phc-adt-lib

Implementation of phc-adt

Build status: failed missing license metadata

README Download
Authors
Documentation
    Tags
    License
      Last updatedMonday, January 19th, 2026 4:54:47am (UTC)
      Ring2
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://gitea.suzanne.soy/suzanne.soy/phc-adt.git?path=phc-adt-lib#main36c1047c4899d1b478cc6052f9b2e71168aeefb5
      Last checkedThursday, January 22nd, 2026 7:54:52pm (UTC)
      Last editedTuesday, March 25th, 2025 1:18:13am (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