phc-adt-lib

Implementation of phc-adt

Build status: ok passing tests

README Download
Authors
Documentation
    Tags
    Last updatedThursday, May 31st, 2018 10:43:51pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/jsmaniac/phc-adt.git?path=phc-adt-libb9b031a9d28c1dbb96a36856244fa2333241e1e4
    Last checkedSaturday, June 15th, 2019 7:17:56pm (UTC)
    Last editedWednesday, July 26th, 2017 1:59:33pm (UTC)
    Date addedN/A
    Modules
    • phc-adt/adt-second-step.rkt
    • phc-adt/variant.hl.rkt
    • phc-adt/constructor.hl.rkt
    • phc-adt/check-no-overlap.rkt
    • phc-adt/adt.hl.rkt
    • phc-adt/tagged-structure-low-level.hl.rkt
    • phc-adt/tagged-supertype.hl.rkt
    • phc-adt/structure.hl.rkt
    • phc-adt/declarations.rkt
    • phc-adt/adt-init.rkt
    • phc-adt/node-low-level.hl.rkt
    • phc-adt/tagged.hl.rkt
    • phc-adt/ctx.hl.rkt
    • phc-adt/main.rkt