• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for copilot-visualizer-4.5.1 source tarball

copilot-visualizer-4.5.1/

• CHANGELOG
• LICENSE
• README.md
• Setup.hs
• copilot-visualizer.cabal
• data/
  • static_html/
    • index.html
  • tikz/
    • tikz.tex
• examples/
  • gui/
    • Main.hs
    • copilot.css
    • copilot.js
    • main.html
  • tikz/
    • Heater.hs
• src/
  • Copilot/
    • Visualize/
      • Dynamic.hs
      • Live.hs
      • Static.hs
      • TypedTrace.hs
      • UntypedTrace.hs