Skip to content

Instantly share code, notes, and snippets.

@jonsterling
Created February 13, 2018 22:48
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jonsterling/a27c74be1d478211484f7b3530f5f5a4 to your computer and use it in GitHub Desktop.
Save jonsterling/a27c74be1d478211484f7b3530f5f5a4 to your computer and use it in GitHub Desktop.
[0.066684s] Checked test/success/V-types.prl
[0.022747s] Checked test/success/bool-fhcom-without-open-eval.prl
[0.009820s] Checked test/success/bool-pair-test.prl
[0.010696s] Checked test/success/dashes-n-slashes.prl
[0.009144s] Checked test/success/decomposition.prl
[0.006263s] Checked test/success/discrete-types.prl
[0.013531s] Checked test/success/empty.prl
[0.009508s] Checked test/success/equality-elim.prl
[0.017783s] Checked test/success/equality.prl
[0.017168s] Checked test/success/fcom-types.prl
[0.029590s] Checked test/success/hcom.prl
[0.020541s] Checked test/success/lines.prl
[0.015952s] Checked test/success/logical-investigations.prl
[0.006435s] Checked test/success/match.prl
[0.057110s] Checked test/success/num.prl
[0.005304s] Checked test/success/path-ap-const.prl
[0.006268s] Checked test/success/primitive-sequencing.prl
[0.031267s] Checked test/success/pushout.prl
[0.008244s] Checked test/success/record.prl
[0.007556s] Checked test/success/s1.prl
[0.006306s] Checked test/success/strict-bool.prl
[0.007551s] Checked test/success/unfold.prl
[0.014039s] Checked test/success/universes.prl
[0.007731s] Checked test/success/wbool-fhcom.prl
[0.033327s] Checked example/J.prl
[0.041797s] Checked example/README.prl
[0.055496s] Checked example/category.prl
[0.095961s] Checked example/connection.prl
[0.087155s] Checked example/groupoid.prl
[0.057217s] Checked example/hlevels.prl
[0.293470s] Checked example/omega1s1.prl
[3.444040s] Checked example/semi-simplicial.prl
[0.023624s] Checked example/theorem-of-choice.prl
[0.214493s] Checked example/tutorial.prl
[0.017225s] Checked example/tutorial1.prl
[0.006475s] Checked example/tutorial2.prl
[0.594644s] Checked example/univalence.prl
[0.174226s] All tests ran as expected!
[0.466290s] Checked test/success/V-types.prl
[0.027322s] Checked test/success/bool-fhcom-without-open-eval.prl
[0.027271s] Checked test/success/bool-pair-test.prl
[0.011687s] Checked test/success/dashes-n-slashes.prl
[0.020183s] Checked test/success/decomposition.prl
[0.007542s] Checked test/success/discrete-types.prl
[0.033909s] Checked test/success/empty.prl
[0.008370s] Checked test/success/equality-elim.prl
[0.031027s] Checked test/success/equality.prl
[0.028590s] Checked test/success/fcom-types.prl
[0.042979s] Checked test/success/hcom.prl
[0.034414s] Checked test/success/lines.prl
[0.022966s] Checked test/success/logical-investigations.prl
[0.006488s] Checked test/success/match.prl
[0.072915s] Checked test/success/num.prl
[0.018215s] Checked test/success/path-ap-const.prl
[0.007151s] Checked test/success/primitive-sequencing.prl
[0.049872s] Checked test/success/pushout.prl
[0.011476s] Checked test/success/record.prl
[0.011093s] Checked test/success/s1.prl
[0.020698s] Checked test/success/strict-bool.prl
[0.005718s] Checked test/success/unfold.prl
[0.015203s] Checked test/success/universes.prl
[0.008326s] Checked test/success/wbool-fhcom.prl
[0.032367s] Checked example/J.prl
[0.050500s] Checked example/README.prl
[0.078889s] Checked example/category.prl
[0.107386s] Checked example/connection.prl
[0.119748s] Checked example/groupoid.prl
[0.080725s] Checked example/hlevels.prl
[0.345219s] Checked example/omega1s1.prl
[8.667238s] Checked example/semi-simplicial.prl
[0.061491s] Checked example/theorem-of-choice.prl
[0.319730s] Checked example/tutorial.prl
[0.018383s] Checked example/tutorial1.prl
[0.004551s] Checked example/tutorial2.prl
[1.270369s] Checked example/univalence.prl
[0.201712s] All tests ran as expected!
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment