cur

Dependent types and meta-programming

Build status: ok passing tests

README Download
Authors
Documentation
    Tags
    Last updatedThursday, May 16th, 2019 1:18:41am (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit://github.com/wilbowma/cur.git/?path=curdf31613b683244f4f56f9e1d562a22dcd982307d
    Last checkedMonday, May 20th, 2019 1:20:51pm (UTC)
    Last editedMonday, January 11th, 2016 12:08:03am (UTC)
    Date addedN/A
    Modules