cur-lib

Build status: ok failing tests missing license metadata

README Download
Authors
Documentation
    Tags
      License
        Last updatedWednesday, December 18th, 2024 2:51:19am (UTC)
        Ring1
        ConflictsNone
        Dependencies
        Most recent build results
        Version Exceptions
        VersionSourceChecksum
        defaulthttps://github.com/wilbowma/cur.git?path=cur-lib#main98f721818c72966df3171a504f14a5e550a6fcfd
        Last checkedThursday, December 4th, 2025 4:51:07am (UTC)
        Last editedThursday, June 18th, 2020 8:47:45pm (UTC)
        Date addedThursday, June 18th, 2020 8:47:45pm (UTC)
        Modules
        • cur/stdlib/totality.rkt
        • cur/stdlib/nat.rkt
        • cur/debug/syntax-trace.rkt
        • cur/ntac/ML-rewrite.rkt
        • cur/ntac/inversion.rkt
        • cur/stdlib/pair.rkt
        • cur/ntac/base.rkt
        • cur/ntac/auto.rkt
        • cur/metantac/lang/reader.rkt
        • cur/ntac/metantac.rkt
        • cur/curnel/reflection.rkt
        • cur/ntac/ctx.rkt
        • cur/ntac/prove-unify.rkt
        • cur/curnel/stxutils.rkt
        • cur/stdlib/equality.rkt
        • cur/stdlib/prop.rkt
        • cur/ntac/standard.rkt
        • cur/curnel/coc.rkt
        • cur/stdlib/list.rkt
        • cur/main.rkt
        • cur/stdlib/sigma.rkt
        • cur/stdlib/typeclass.rkt
        • cur/stdlib/bool.rkt
        • cur/ntac/rewrite.rkt
        • cur/curnel/lang.rkt
        • cur/stdlib/sugar.rkt
        • cur/stdlib/sized.rkt
        • cur/stdlib/datum.rkt
        • cur/olly.rkt
        • cur/stdlib/pattern-tree.rkt
        • cur/stdlib/axiom.rkt
        • cur/stdlib/ascii.rkt
        • cur/stdlib/racket-ascii.rkt
        • cur/curnel/coc-saccharata.rkt
        • cur/metantac/main.rkt
        • cur/stdlib/maybe.rkt
        • cur/lang/reader.rkt
        • cur/curnel/cic-saccharata.rkt
        • cur/ntac/utils.rkt