phc-adt-lib

Implementation of phc-adt

Build status: failed

Authors
Documentation
Tags
Last updatedThursday, May 13th, 2021 3:26:21pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/jsmaniac/phc-adt.git?path=phc-adt-lib#main36c1047c4899d1b478cc6052f9b2e71168aeefb5
Last checkedSaturday, September 25th, 2021 8:30:57pm (UTC)
Last editedThursday, March 4th, 2021 8:27:47pm (UTC)
Date addedWednesday, March 3rd, 2021 7:24:58pm (UTC)
Modules
  • phc-adt/declarations.rkt
  • phc-adt/main.rkt
  • phc-adt/adt.hl.rkt
  • phc-adt/constructor.hl.rkt
  • phc-adt/check-no-overlap.rkt
  • phc-adt/variant.hl.rkt
  • phc-adt/tagged.hl.rkt
  • phc-adt/node-low-level.hl.rkt
  • phc-adt/structure.hl.rkt
  • phc-adt/adt-init.rkt
  • phc-adt/tagged-supertype.hl.rkt
  • phc-adt/adt-second-step.rkt
  • phc-adt/ctx.hl.rkt
  • phc-adt/tagged-structure-low-level.hl.rkt