cur-lib

Build status: ok failing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedMonday, January 23rd, 2023 7:15:47pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/wilbowma/cur.git?path=cur-lib#main98f721818c72966df3171a504f14a5e550a6fcfd
Last checkedThursday, March 28th, 2024 2:33:20pm (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