cur-lib

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedThursday, August 27th, 2020 6:28:50pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/wilbowma/cur.git?path=cur-lib#main50cffa8d3358bed24e92031ae80e739f10223835
Last checkedFriday, September 25th, 2020 4:11:51pm (UTC)
Last editedThursday, June 18th, 2020 8:47:45pm (UTC)
Date addedThursday, June 18th, 2020 8:47:45pm (UTC)
Modules
  • cur/ntac/ctx.rkt
  • cur/ntac/auto.rkt
  • cur/curnel/coc.rkt
  • cur/lang/reader.rkt
  • cur/stdlib/axiom.rkt
  • cur/ntac/base.rkt
  • cur/stdlib/totality.rkt
  • cur/stdlib/racket-ascii.rkt
  • cur/stdlib/pair.rkt
  • cur/ntac/metantac.rkt
  • cur/ntac/ML-rewrite.rkt
  • cur/stdlib/typeclass.rkt
  • cur/stdlib/sugar.rkt
  • cur/stdlib/maybe.rkt
  • cur/stdlib/nat.rkt
  • cur/ntac/standard.rkt
  • cur/ntac/rewrite.rkt
  • cur/curnel/lang.rkt
  • cur/metantac/lang/reader.rkt
  • cur/stdlib/equality.rkt
  • cur/stdlib/bool.rkt
  • cur/main.rkt
  • cur/stdlib/sigma.rkt
  • cur/stdlib/datum.rkt
  • cur/curnel/cic-saccharata.rkt
  • cur/metantac/main.rkt
  • cur/stdlib/pattern-tree.rkt
  • cur/ntac/prove-unify.rkt
  • cur/curnel/coc-saccharata.rkt
  • cur/debug/syntax-trace.rkt
  • cur/curnel/stxutils.rkt
  • cur/stdlib/ascii.rkt
  • cur/curnel/reflection.rkt
  • cur/ntac/inversion.rkt
  • cur/stdlib/sized.rkt
  • cur/stdlib/list.rkt
  • cur/stdlib/prop.rkt
  • cur/olly.rkt
  • cur/ntac/utils.rkt