Copilot-Language/copilot-language.github.io

Issues

• Typo in Kyle's name

  #60 opened 10 months ago by ivanperez-keera
  0

• Typo in release announcement

  #59 opened 10 months ago by ivanperez-keera
  0

• Announce 4.2

  #58 opened 10 months ago by ivanperez-keera
  0

• Announce 3.20

  #57 opened a year ago by ivanperez-keera
  0

• Announce 3.19

  #56 opened 2 years ago by ivanperez-keera
  0

• Announce 3.18.1

  #55 opened 2 years ago by ivanperez-keera
  0

• Automate html generation process

  #54 opened 2 years ago by ivanperez-keera
  0

• Announce 3.17

  #52 opened 2 years ago by ivanperez-keera
  0

• Replace licence with license

  #53 opened 2 years ago by ivanperez-keera
  0

• Announce 3.16

  #50 opened 2 years ago by ivanperez-keera
  0

• Remove tabs

  #51 opened 2 years ago by ivanperez-keera
  0

• Announce 3.15

  #49 opened 2 years ago by ivanperez-keera
  0

• Symlinks no longer supported

  #48 opened 3 years ago by ivanperez-keera
  0

• Announce 3.14

  #47 opened 3 years ago by ivanperez-keera
  0

• Outdated information about GHC version required

  #43 opened 3 years ago by ivanperez-keera
  0

• Fix link to outdated milestone

  #46 opened 3 years ago by ivanperez-keera
  0

• Announce 3.13

  #45 opened 3 years ago by ivanperez-keera
  0

• Announce 3.12

  #44 opened 3 years ago by ivanperez-keera
  0

• Announce 3.11

  #42 opened 3 years ago by ivanperez-keera
  0

• Link to examples is broken

  #41 opened 3 years ago by ivanperez-keera
  0

• Announce 3.10

  #40 opened 3 years ago by ivanperez-keera
  0

• Announce 3.9

  #39 opened 3 years ago by ivanperez-keera
  0

• Announce 3.8

  #38 opened 4 years ago by ivanperez-keera
  0

• Announce 3.7

  #37 opened 4 years ago by ivanperez-keera
  0

• Announce 3.6

  #35 opened 4 years ago by ivanperez-keera
  0

• Change POC on website

  #36 opened 4 years ago by ivanperez-keera
  0

• Announce 3.5

  #33 opened 4 years ago by ivanperez-keera
  0

• Announce Copilot 3.4

  #30 opened 4 years ago by fdedden
  0

• Update website to reflect repo merging

  #28 opened 4 years ago by fdedden
  0

• Post release of 3.3

  #29 opened 4 years ago by fdedden
  0

• Release 3.2.1

  #27 opened 5 years ago by fdedden
  0

• Make publishing easier

  #26 opened 5 years ago by fdedden
  0

• Github.io pages 404

  #25 opened 5 years ago by elizabethshirley
  3

• Update maintainers

  #19 opened 5 years ago by fdedden
  0

• Fix temperature range on frontpage

  #24 opened 6 years ago by fdedden
  0

• Add index.html symlink to home.html

  #23 opened 6 years ago by fdedden
  0

• Replace old site with new one

  #22 opened 6 years ago by fdedden
  0

• Remove 'Haskell' from intro on home page

  #20 opened 6 years ago by fdedden
  0

• Improve code blocks visually

  #21 opened 6 years ago by fdedden
  0

• Fix colour of Copilot title in header

  #18 opened 6 years ago by fdedden
  0

• Write 'about' page.

  #16 opened 6 years ago by fdedden
  0

• Replace 'Copilot on GitHub' with 'Source code'

  #17 opened 6 years ago by fdedden
  0

• Update installation instructions.

  #15 opened 6 years ago by fdedden
  0

• Rewrite website without usage of Jekyll

  #14 opened 6 years ago by fdedden
  0

• Update build instructions to reflect repo rename

  #13 opened 6 years ago by fdedden
  0

• Update contract numbers

  #7 opened 7 years ago by fdedden
  0

• Upload new tutorial

  #8 opened 7 years ago by fdedden
  0

• Update tutorial to latest version.

  #12 opened 6 years ago by fdedden
  0

• Alternative installation talks about a non existing make file

  #9 opened 6 years ago by chriz-zeller
  2

• Remove name Levent's name from list

  #10 opened 6 years ago by fdedden
  0