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 checkedSunday, September 22nd, 2019 5:50:14am (UTC)
    Last editedMonday, January 11th, 2016 12:08:03am (UTC)
    Date addedN/A
    Modules