writing: Commit: 072c5b4d5a13eac4b480de17aafb60e2fc7519ca

Branch: master

Author: Chris Warburton <chriswarbo@gmail.com>
Date: Tue Mar 3 07:46:41 AM UTC 2020
Commit: 072c5b4d5a13eac4b480de17aafb60e2fc7519ca
Parent: a6c4f8c8082dd533f8f4e0589471a6595d68dc2b (diff to parent)
Log message:

    Bump

.issues/bb42ceec133c1fca/new/1579648080.M116905P10258Q1.nixos (old) (diff) | 13 +++++++++++++
PhDThesis/thesis.tex (old)                                        (diff) | 2 +-
 2 files changed, 14 insertions(+), 1 deletion(-)

Files:

• Bibtex.bib (raw)
• check.sh (raw)
• CIAO-2017-05-23 (raw)
• .gitignore (raw)
• release.nix (raw)
• STP-2017-05-19 (raw)
• trigger-build.sh (raw)
• acmtranscl
  • v2-acmsmall
    • ACM-Reference-Format-Journals.bst (raw)
    • acmsmall.cls (raw)
    • acmsmall-mouse.eps (raw)
    • acmsmall-mouse.pdf (raw)
    • acmsmall-sample-bibfile.bib (raw)
    • algorithm2e.sty (raw)
    • url.sty (raw)
    • V2-acmsmall-guide.pdf (raw)
    • v2-acmsmall-sample.bbl (raw)
    • v2-acmsmall-sample.pdf (raw)
    • v2-acmsmall-sample.tex (raw)
    • v2-readme.txt (raw)
• AI4FM
  • article.tex (raw)
  • default.nix (raw)
  • extra.md (raw)
  • .gitignore (raw)
  • llncs.cls (raw)
  • quickspec_measure.sh (raw)
  • slides.fromUSB.html (raw)
  • slides.md (raw)
• AwayDays-2016-11-24
  • .gitignore (raw)
  • slide.svg (raw)
• Balmoral2015
  • constructive.md (raw)
  • default.nix (raw)
  • dependent_type_problems.md (raw)
  • exercises.agda (raw)
  • .gitignore (raw)
  • machine_learning_intro.md (raw)
  • machine_learning_languages.md (raw)
  • render.sh (raw)
  • Coinduction
    • Automata.v (raw)
• Bucketing
  • all-bucketing-data.png (raw)
  • appendices.tex (raw)
  • background.tex (raw)
  • clustering_data.tar.bz2 (raw)
  • conclusion.tex (raw)
  • contributions.tex (raw)
  • coq_lemmas (raw)
  • coq_theorems (raw)
  • default.nix (raw)
  • Email.hs (raw)
  • evaluation.tex (raw)
  • generalisation.v (raw)
  • .gitignore (raw)
  • haskell.tex (raw)
  • implementation.tex (raw)
  • intro.tex (raw)
  • llncs.cls (raw)
  • notes.md (raw)
  • related.tex (raw)
  • release.nix (raw)
  • report.tex (raw)
  • reverse.sh (raw)
  • shell.nix (raw)
  • sizes.tex (raw)
  • haskell_example
    • .gitignore (raw)
    • haskell-example.cabal (raw)
    • LICENSE (raw)
    • Setup.hs (raw)
    • src
      • Eval.hs (raw)
      • Example.hs (raw)
      • Foo.hs (raw)
      • QuickSpecExample.hs (raw)
  • paar
    • easychair.zip (raw)
    • EasyChair3.4
      • easychair.bib (raw)
      • easychair.cls (raw)
      • easychair.tex (raw)
      • easychair.toc (raw)
      • throneEC.jpg (raw)
  • style
    • history.txt (raw)
    • llncs2e.zip (raw)
    • llncs.cls (raw)
    • llncs.dem (raw)
    • llncs.doc (raw)
    • llncs.ind (raw)
    • readme.txt (raw)
    • splncs03.bst (raw)
    • subjidx.ind (raw)
    • example
      • eijkel2.eps (raw)
      • typeinst.tex (raw)
      • typeinst.zip (raw)
  • supporting-material
    • check.nix (raw)
    • contentsGraph.py (raw)
    • contents.nix (raw)
    • data.nix (raw)
    • default.nix (raw)
    • graphs.nix (raw)
    • shell.nix (raw)
    • survivalGraph.py (raw)
    • survival.nix (raw)
    • timeoutGraph.py (raw)
    • toxic
      • default.nix (raw)
      • Defs.hs (raw)
      • QS1Runners.hs (raw)
      • QS2Runners.hs (raw)
• Chalmers2015-03-25
  • artcuri.jpg (raw)
  • bandits.jpg (raw)
  • catdetection.jpeg (raw)
  • clusters.png (raw)
  • datamine.png (raw)
  • datamine.svg (raw)
  • default.nix (raw)
  • genmod.png (raw)
  • .gitignore (raw)
  • intuition.png (raw)
  • shell.nix (raw)
  • slides.md (raw)
• CICM2015
  • ACM-Reference-Format-Journals.bst (raw)
  • acmsmall.cls (raw)
  • addnACA.png (raw)
  • aliascnt.sty (raw)
  • automaton.tex (raw)
  • biblio.bib (raw)
  • clustervisualisation.png (raw)
  • conceptualisation.tex (raw)
  • conclusions.tex (raw)
  • coqtactics.tex (raw)
  • default.nix (raw)
  • defManSSR.tex (raw)
  • depend.png (raw)
  • evaluation.tex (raw)
  • gallina.tex (raw)
  • graph_dpath_path_l.png (raw)
  • graph_dpath_path_lr.png (raw)
  • graphpaths.png (raw)
  • HK_TOCL.bbl (raw)
  • HK_TOCL.blg (raw)
  • HK_TOCL.dvi (raw)
  • HK_TOCL.out (raw)
  • HK_TOCL.ps (raw)
  • HK_TOCL.tex (raw)
  • HoTTCorefragment.png (raw)
  • introduction.tex (raw)
  • itp2.png (raw)
  • itp3.png (raw)
  • itp4.png (raw)
  • itp5.png (raw)
  • itp6.png (raw)
  • itp7.png (raw)
  • itp.png (raw)
  • lemmaclustering.log (raw)
  • lemmaclustering.tex (raw)
  • llncs.cls (raw)
  • llncsdoc.sty (raw)
  • llncs.ind (raw)
  • ltnneqAle.png (raw)
  • macro.tex (raw)
  • maxnACA.png (raw)
  • minnACA.png (raw)
  • mulnACA.png (raw)
  • patches.tex (raw)
  • prooftree.png (raw)
  • rec.log (raw)
  • rec.tex (raw)
  • relatedwork.tex (raw)
  • remreset.sty (raw)
  • splncs03.bst (raw)
  • splncs.bst (raw)
  • splncs_srt.bst (raw)
  • sprmindx.sty (raw)
  • subjidx.ind (raw)
  • v2-acmsmall.zip (raw)
  • visualisation.tex (raw)
• CICM-2017-report
  • default.nix (raw)
  • report.md (raw)
• dependent-types-talk
  • LICENSE (raw)
  • pres.org (raw)
  • pres.pdf (raw)
  • README (raw)
  • sort.idr (raw)
• .issues
  • 81205c4f7b3404fa
    • new
      • 1512129558.M330373P18698Q1.nixos (raw)
      • 1521039459.M149528P31287Q1.nixos (raw)
  • 857ec098fee49ebc
    • new
      • 1501151766.M285469P13706Q1.nixos (raw)
      • 1501581380.M930629P25418Q1.nixos (raw)
  • 86d7369f41d3e356
    • new
      • 1523634404.M969732P23279Q1.nixos (raw)
      • 1525090298.M215344P26023Q1.nixos (raw)
  • 88a4d40688f09cd6
    • new
      • 1549622656.M421401P27316Q1.nixos (raw)
      • 1549636611.M591325P20299Q1.nixos (raw)
  • 8a72473c647ec0c9
    • new
      • 1512129948.M108568P22815Q1.nixos (raw)
      • 1516032151.M900430P23748Q1.nixos (raw)
  • 8db48e6510ace1b8
    • new
      • 1525444192.M987284P14585Q1.nixos (raw)
      • 1526308067.M887795P23024Q1.nixos (raw)
  • 8f08fae2bf229339
    • new
      • 1512129344.M33840P16828Q1.nixos (raw)
      • 1516034378.M616939P10373Q1.nixos (raw)
  • 90a4cf0afdce266e
    • new
      • 1497291827.M128675P10690Q1.nixos (raw)
      • 1497610746.M795437P29280Q1.nixos (raw)
  • 987fd068e9fc80b1
    • new
      • 1554727287.M238940P9121Q1.nixos (raw)
      • 1554905842.M92401P16891Q1.nixos (raw)
      • 1554917707.M909761P13923Q1.nixos (raw)
  • 9b4604fd536b3457
    • new
      • 1530289947.M714941P7016Q1.nixos (raw)
      • 1530705922.M170592P10428Q1.nixos (raw)
  • 9c11f668b48309ee
    • new
      • 1525444145.M875880P13849Q1.nixos (raw)
      • 1526489678.M486994P8093Q1.nixos (raw)
  • 9dc9f2b0888e18c1
    • new
      • 1527598593.M13345P13121Q1.nixos (raw)
      • 1529409582.M834935P15477Q1.nixos (raw)
  • a23b14a65a91cb29
    • new
      • 1527598465.M236268P5144Q1.nixos (raw)
      • 1527608133.M244409P23775Q1.nixos (raw)
      • 1527680796.M635180P19862Q1.nixos (raw)
  • a36dccf392a79ac9
    • new
      • 1512131010.M921781P805Q1.nixos (raw)
      • 1525090086.M793014P20671Q1.nixos (raw)
  • a9599e1ae7953929
    • new
      • 1554727040.M722223P10802Q1.nixos (raw)
      • 1554815874.M854778P23317Q1.nixos (raw)
  • a9afa693bc5496b4
    • new
      • 1530290427.M123352P8929Q1.nixos (raw)
      • 1531331859.M499481P2143Q1.nixos (raw)
  • aa4666adc4e9de4f
    • new
      • 1554725404.M717827P5285Q1.nixos (raw)
      • 1554815783.M290947P22357Q1.nixos (raw)
  • aab424a5b3614d0c
    • new
      • 1520526190.M37987P18544Q1.nixos (raw)
      • 1521077028.M954986P30997Q1.nixos (raw)
  • ad8b179ca9d149f2
    • new
      • 1520345131.M15913P8726Q1.nixos (raw)
      • 1520354595.M461000P23352Q1.nixos (raw)
  • b4449a3a914104a0
    • new
      • 1525444004.M276479P12077Q1.nixos (raw)
      • 1526482161.M144170P17845Q1.nixos (raw)
  • b8397680906aa438
    • new
      • 1530289901.M716142P3811Q1.nixos (raw)
      • 1530880090.M438277P8080Q1.nixos (raw)
  • b843ac0895170f36
    • new
      • 1525444973.M194443P22198Q1.nixos (raw)
      • 1526484173.M484385P31133Q1.nixos (raw)
  • b8693a93800db3ad
    • new
      • 1549636782.M479784P23992Q1.nixos (raw)
  • babcecbaf77d5ab7
    • new
      • 1530289785.M346091P2511Q1.nixos (raw)
      • 1530880287.M679558P9154Q1.nixos (raw)
      • 1531331906.M84507P3588Q1.nixos (raw)
  • bb42ceec133c1fca
    • new
      • 1579648080.M116905P10258Q1.nixos (raw)
  • bdc088e9d99eb9ad
    • new
      • 1525444282.M946715P15449Q1.nixos (raw)
      • 1526307929.M512321P21019Q1.nixos (raw)
  • bf831543e595aea9
    • new
      • 1512131130.M681998P2439Q1.nixos (raw)
      • 1519847260.M118084P10448Q1.nixos (raw)
      • 1520262309.M85084P32250Q1.nixos (raw)
  • c07811b844f95e89
    • new
      • 1523634429.M351826P23802Q1.nixos (raw)
      • 1525090158.M216542P21584Q1.nixos (raw)
  • c5e75a37a63bf6cf
    • new
      • 1525444998.M412379P25390Q1.nixos (raw)
      • 1526487960.M628441P17142Q1.nixos (raw)
  • c63eb9e1e7c1a803
    • new
      • 1517941255.M812201P26193Q1.nixos (raw)
  • cfb346a8a3044c17
    • new
      • 1512040211.M409492P5479Q1.nixos (raw)
      • 1519727276.M423787P4639Q1.nixos (raw)
  • d5a53db226c6c6fc
    • new
      • 1512130139.M326498P24666Q1.nixos (raw)
      • 1519748120.M435298P29441Q1.nixos (raw)
  • d756cd3afa150d01
    • new
      • 1525444032.M71274P12746Q1.nixos (raw)
      • 1526482308.M836823P21684Q1.nixos (raw)
  • da409edb3a67f89d
    • new
      • 1525443952.M299065P9990Q1.nixos (raw)
      • 1526489339.M412946P3527Q1.nixos (raw)
  • dece9bee74ebb3ac
    • new
      • 1525444088.M664110P13087Q1.nixos (raw)
      • 1525694570.M623192P15258Q1.nixos (raw)
      • 1526307208.M538194P11497Q1.nixos (raw)
  • e0184cf3538014ed
    • new
      • 1527598639.M755517P15625Q1.nixos (raw)
      • 1530289649.M59652P30587Q1.nixos (raw)
  • e7baf02760c76dc5
    • new
      • 1527874790.M614759P21506Q1.nixos (raw)
      • 1529409405.M378189P12695Q1.nixos (raw)
  • e8624fc1eff25648
    • new
      • 1550163891.M988706P6113Q1.nixos (raw)
  • e893350224548b4d
    • new
      • 1530289723.M857429P31521Q1.nixos (raw)
      • 1530882457.M802210P17470Q1.nixos (raw)
  • f0bb2a6f6b46d43d
    • new
      • 1513185890.M214818P6089Q1.nixos (raw)
      • 1516033918.M105406P32159Q1.nixos (raw)
  • f1fe36ed8b70a723
    • new
      • 1554918212.M430713P4258Q1.nixos (raw)
      • 1555074946.M15785P957Q1.nixos (raw)
      • 1555076154.M369627P29309Q1.nixos (raw)
      • 1555095434.M232144P6839Q1.nixos (raw)
  • f66554e225a5e731
    • new
      • 1512129387.M563904P17028Q1.nixos (raw)
      • 1516034428.M180389P11537Q1.nixos (raw)
  • f81339e2ff8d417c
    • new
      • 1512129312.M44512P16138Q1.nixos (raw)
      • 1516034401.M397659P10903Q1.nixos (raw)
  • fb7cb06eae080628
    • new
      • 1512129670.M796504P19879Q1.nixos (raw)
      • 1521039317.M686716P24669Q1.nixos (raw)
  • fc205aabc1ccb8f2
    • new
      • 1525443798.M939671P9465Q1.nixos (raw)
      • 1526482804.M124831P2733Q1.nixos (raw)
• JianguoMeeting
  • default.nix (raw)
  • mlspec-bars-5.png (raw)
  • quickspec-bars-5.png (raw)
  • README (raw)
  • writeup.html (raw)
  • writeup.md (raw)
• ML4HS1
  • default.nix (raw)
  • ml4hs1.md (raw)
• ML4HSTechReport
  • default.nix (raw)
  • .gitignore (raw)
  • report.tex (raw)
• PhDMeetings
  • default.nix (raw)
  • 2015-02-12
    • feature_extraction.md (raw)
    • reinforcement_learning.md (raw)
  • 2015-02-26
    • feature_extraction.md (raw)
  • 2015-03-05
    • haskell_specs.md (raw)
  • 2015-09-16
    • Bibtex.bib (raw)
    • summer.md (raw)
  • 2019-02-13
    • notes.md (raw)
• PhDSymposium2015
  • abstract.md (raw)
  • abstract.pdf.20150420 (raw)
  • acm_proc_article-sp.cls (raw)
  • acm-sig-proceedings.csl (raw)
  • default.cls (raw)
  • default.nix (raw)
  • .gitignore (raw)
  • sig-alternate.cls (raw)
  • slides.md (raw)
  • templates (raw)
  • resources
    • block_puzzle2.png (raw)
    • block_puzzle.png (raw)
    • block_right.png (raw)
    • blocks_comb.png (raw)
    • blocks.png (raw)
    • blocks.xcf (raw)
    • block_wrong.png (raw)
    • contacts.png (raw)
    • contacts.svg (raw)
    • Coq_logo.png (raw)
    • diagram.png (raw)
    • diagram.svg (raw)
    • Git-logo.png (raw)
    • Git-logo.svg (raw)
    • LaTeX_logo.png (raw)
    • LaTeX_logo.svg (raw)
    • MediaWiki-smaller-logo.png (raw)
    • Sage_logo_new.png (raw)
• PhDSymposium2016
  • abstract.pdf.20160419 (raw)
  • abstract.tex (raw)
  • acm_proc_article-sp.cls (raw)
  • acm-sig-proceedings.csl (raw)
  • default.cls (raw)
  • default.nix (raw)
  • .gitignore (raw)
  • questions.abw (raw)
  • sig-alternate.cls (raw)
  • sign.svg (raw)
  • slides.md (raw)
  • templates (raw)
  • resources
    • block_puzzle2.png (raw)
    • block_puzzle.png (raw)
    • block_right.png (raw)
    • blocks_comb.png (raw)
    • blocks.png (raw)
    • blocks.xcf (raw)
    • block_wrong.png (raw)
    • contacts.png (raw)
    • contacts.svg (raw)
    • Coq_logo.png (raw)
    • diagram.png (raw)
    • diagram.svg (raw)
    • Git-logo.png (raw)
    • Git-logo.svg (raw)
    • LaTeX_logo.png (raw)
    • LaTeX_logo.svg (raw)
    • MediaWiki-smaller-logo.png (raw)
    • Sage_logo_new.png (raw)
• PhDSymposium2017
  • default.nix (raw)
  • eqplot.rkt (raw)
  • extractEqs.rkt (raw)
  • .gitignore (raw)
  • q4fkm5mlfgaxrp3bd3asw1xhr4i73svk-all-data.json (raw)
  • runtimeplot.rkt (raw)
  • support.nix (raw)
  • tex.nix (raw)
  • abstract
    • abstract.tex (raw)
    • acm_proc_article-sp.cls (raw)
    • acm-sig-proceedings.csl (raw)
    • default.cls (raw)
    • default.nix (raw)
    • runtimes.png (raw)
    • runtimes.svg (raw)
    • sig-alternate.cls (raw)
  • slides
    • CIAO-slides.html (raw)
    • default.nix (raw)
    • runtimes.svg (raw)
    • slides.md (raw)
    • STP-slides.html (raw)
    • symp-slides.html (raw)
    • table.png (raw)
• PhDSymposium2018
  • abstract.tex (raw)
  • acm_proc_article-sp.cls (raw)
  • acm-sig-proceedings.csl (raw)
  • default.cls (raw)
  • default.nix (raw)
  • Example.agda (raw)
  • ExampleBase.agda (raw)
  • .gitignore (raw)
  • sig-alternate.cls (raw)
  • slides.md (raw)
  • graphs
    • isacosyprec.pgf (raw)
    • isacosytime.pgf (raw)
    • quickspecprec.pgf (raw)
    • quickspectime.pgf (raw)
    • table2.png (raw)
    • table.png (raw)
  • QuickSpec
    • quickspec-example.cabal (raw)
    • Setup.hs (raw)
    • src
      • Arithmetic.hs (raw)
  • supporting-materials
    • default.nix (raw)
    • graphs.nix (raw)
    • mkBenchmarkGraphs.py (raw)
• PhDThesis
  • AbstractBulletpoints.md (raw)
  • appendix_nixeval.tex (raw)
  • appendix.tex (raw)
  • background_conjecturegeneration.tex (raw)
  • background_haskell.tex (raw)
  • background_machinelearning.tex (raw)
  • background_quickcheck.tex (raw)
  • background.tex (raw)
  • background_theoryexploration.tex (raw)
  • benchmark.tex (raw)
  • bucketing.tex (raw)
  • ChrisW_s_PhD_Plan.pdf (raw)
  • clustering.tex (raw)
  • Contributions.md (raw)
  • default.nix (raw)
  • footer (raw)
  • futurework.tex (raw)
  • header (raw)
  • intro.tex (raw)
  • litreview_automatedreasoning.tex (raw)
  • litreview_interestingness.tex (raw)
  • litreview_machinelearning.tex (raw)
  • litreview_premiseselection.tex (raw)
  • litreview_staticanalysis.tex (raw)
  • litreview_testing.tex (raw)
  • litreview.tex (raw)
  • ml4hs.tex (raw)
  • notes.md (raw)
  • outline.tex (raw)
  • plan.md (raw)
  • related_formalstats.tex (raw)
  • related.tex (raw)
  • thesis.tex (raw)
  • support-for-benchmarks
    • comparison.nix (raw)
    • default.nix (raw)
    • graphs.nix (raw)
    • mkBenchmarkGraphs.py (raw)
    • SpeedupTestTool.tar.bz2 (raw)
  • support-for-bucketing
    • boundsData.py (raw)
    • check.nix (raw)
    • contentsGraph.py (raw)
    • contents.nix (raw)
    • data.nix (raw)
    • default.nix (raw)
    • graphs.nix (raw)
    • shell.nix (raw)
    • survivalGraph.py (raw)
    • survival.nix (raw)
    • timeoutGraph.py (raw)
    • clustering_vs_random
      • default.nix (raw)
      • grapher.py (raw)
      • pairwiseData.py (raw)
    • toxic
      • default.nix (raw)
      • Defs.hs (raw)
      • QS1Runners.hs (raw)
      • QS2Runners.hs (raw)
  • supporting-material
    • tests.nix (raw)
    • tetex-hack.nix (raw)
    • tests
      • quickcheck_properties.nix (raw)
• PowerPlay
  • article.tex (raw)
  • default.nix (raw)
• ReadingGroup
  • 2015-05-22
    • SubjectReduction.v (raw)
• resources
  • default.nix (raw)
  • styles
    • mathpartir.sty (raw)
    • mmm.sty (raw)
    • psfig.sty (raw)
• STP
  • sites
    • .gitignore (raw)
    • push.sh (raw)
    • render.sh (raw)
    • stp
      • 2015
        • 0
          • dundee_logo.png (raw)
          • epsrc.jpg (raw)
          • favicon.ico (raw)
          • index.md (raw)
          • sicsa.jpg (raw)
  • talks
    • 2015
      • 0
        • .gitignore (raw)
        • render.sh (raw)
        • slides.md (raw)
• TEBenchmarkPaper
  • article.tex (raw)
  • benchmark-paper.zip (raw)
  • default.nix (raw)
  • diffPlot.ps (raw)
  • diffPlot.svg (raw)
  • .gitignore (raw)
  • JARS-S-18-00071 (Benchmark paper submission 2).pdf (raw)
  • release.nix (raw)
  • Review_1_1.txt (raw)
  • Review_1_3.txt (raw)
  • shell.nix (raw)
  • supporting-materials
    • comparison.nix (raw)
    • defs.nix (raw)
    • diffPlot.rkt (raw)
    • graphs.nix (raw)
    • graph_test.nix (raw)
    • LaTeX.zip (raw)
    • miller.nix (raw)
    • mkBenchmarkGraphs.py (raw)
    • plotter.py (raw)
    • SpeedupTestTool.tar.bz2 (raw)
    • stability.nix (raw)
    • isabelle-theorems
      • list-full.smt2 (raw)
      • nat-full.smt2 (raw)
      • nat-simple.smt2 (raw)
      • README (raw)
• TheoryExploration
  • default.nix (raw)
  • examples.tex (raw)
  • .gitignore (raw)
  • interesting.tex (raw)
  • notes-2015-05-14.md (raw)
  • notes-2015-05-23.md (raw)
  • notes-2015-06-09.md (raw)
  • notes-2015-06-25.md (raw)
  • quickspec-measurements.md (raw)
• TransferNotes
  • notes.org (raw)
• TransferReport
  • background.tex (raw)
  • check.sh (raw)
  • clustering_data.tar.bz2 (raw)
  • contributions.tex (raw)
  • coq_lemmas (raw)
  • coq_theorems (raw)
  • default.nix (raw)
  • Email.hs (raw)
  • evaluation.tex (raw)
  • future.tex (raw)
  • Gantt.gnumeric (raw)
  • Gantt.pdf (raw)
  • generalisation.v (raw)
  • .gitignore (raw)
  • implementation.tex (raw)
  • intro.tex (raw)
  • related.tex (raw)
  • report.pdf (raw)
  • report.tex (raw)
  • reverse.sh (raw)
  • whiteboard1.jpg (raw)
  • whiteboard2.jpg (raw)
  • whiteboard3.jpg (raw)
  • wundt.png (raw)
  • haskell_example
    • .gitignore (raw)
    • haskell-example.cabal (raw)
    • LICENSE (raw)
    • Setup.hs (raw)
    • src
      • Eval.hs (raw)
      • Example.hs (raw)
      • Foo.hs (raw)
      • QuickSpecExample.hs (raw)
• TransferSlides
  • dundee_logo.png (raw)
  • Gantt.png (raw)
  • Gantt.xcf (raw)
  • Makefile (raw)
  • render.sh (raw)
  • slides.html (raw)
  • slides.md (raw)
• UnderstandabilityPaper
  • argument.pdf (raw)
  • biblio.bib (raw)
  • default.nix (raw)
  • ICCC_2019_paper_45.pdf (raw)
  • iccc.bst (raw)
  • iccc-science.pdf (raw)
  • iccc-science.tex (raw)
  • iccc.sty (raw)
  • paper.pdf (raw)
  • submitted-version.pdf (raw)
  • submit.zip (raw)