ToJans/idris101

Issues

• assignment #2: the bowling kata

  #22 opened 10 years ago by ToJans
  3

• Turn this into an open project

  #24 opened 10 years ago by ToJans
  1

• assignment #1 : 99 bottles of beer on the wall

  #21 opened 10 years ago by ToJans
  2

• Excersises from Edwin' lectures

  #20 opened 10 years ago by BartAdv
  0

• issue00 / * - Natural number score from 0 to 10

  #17 opened 10 years ago by ToJans
  11

• testing slack

  #18 opened 10 years ago by ToJans
  1

• First things first: installing an idris environment

  #13 opened 10 years ago by ToJans
  4

• Getting organized - please introduce yourself

  #6 opened 10 years ago by ToJans
  17

• Proposal on how to cooperate - suggestions welcome

  #14 opened 10 years ago by ToJans
  1

• Introductionary google hangout

  #15 opened 10 years ago by ToJans
  2

• Video tutorials

  #1 opened 10 years ago by ToJans
  0