cur-test

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSaturday, June 16th, 2018 6:51:13pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/wilbowma/cur.git/?path=cur-test8e837e31f048aca30f3bac50fc40a13f7b2d01bb
Last checkedSunday, June 17th, 2018 9:42:22pm (UTC)
Last editedMonday, January 11th, 2016 12:09:44am (UTC)
Modules
  • cur/tests/sweet-exp.rkt
  • cur/tests/curnel/type-check.rkt
  • cur/tests/curnel/runtime-utils.rkt
  • cur/tests/stlc.rkt
  • cur/tests/ntac.rkt
  • cur/tests/stdlib/sigma.rkt
  • cur/tests/plus.rkt
  • cur/tests/stdlib/equality.rkt
  • cur/tests/curnel/equiv.rkt
  • cur/tests/curnel/runtime.rkt
  • cur/tests/vector-append.rkt
  • cur/tests/stdlib/curunit.rkt
  • cur/tests/stdlib/maybe.rkt
  • cur/tests/stdlib/racket-ascii.rkt
  • cur/tests/fact.rkt
  • cur/experiments/racket-cur.rkt
  • cur/tests/issue-71.rkt
  • cur/tests/curnel/local-env.rkt
  • cur/tests/stdlib/typeclass.rkt
  • cur/tests/stdlib/datum.rkt
  • cur/tests/olly.rkt
  • cur/tests/curnel/type-reconstruct.rkt
  • cur/tests/curnel/reflection.rkt
  • cur/tests/stdlib/list.rkt
  • cur/tests/stdlib/sugar.rkt
  • cur/tests/issue67.rkt
  • cur/tests/stdlib/nat.rkt
  • cur/tests/stdlib/prop.rkt
  • cur/tests/stdlib/ascii.rkt
  • cur/tests/curnel/eval.rkt
  • cur/tests/stdlib/bool.rkt