idris-hackers/idris-demos

Issues

• GuessNumbers

  #4 opened 7 years ago by flip111
  1

• Invaders: "Can't find import Effect/SDL"

  #2 opened 9 years ago by noam87
  2

• ResDSL: "You must turn on the DSLNotation extension to use a dsl block"

  #5 opened 7 years ago by flip111
  0

• Hangman: "This style of tactic proof is deprecated"

  #3 opened 7 years ago by flip111
  0