History for Idris Developers Meeting, Nov 2013 · idris-lang/Idris-dev Wiki

Finished logs for my part

Ahmad Salim Al-Sibahi committed Nov 23, 2013

0353e68

Updated Idris Developers Meeting, Nov 2013 (markdown)

hannesm committed Nov 22, 2013

33ec793

Updated Idris Developers Meeting, Nov 2013 (markdown)

ziman committed Nov 22, 2013

24b7ee5

matus' work on friday

ziman committed Nov 22, 2013

b67c12e

Updated Idris Developers Meeting, Nov 2013 (markdown)

hannesm committed Nov 22, 2013

28bf800

Updated Idris Developers Meeting, Nov 2013 (markdown)

edwinb committed Nov 22, 2013

dd8349c

matus' work on thursday

ziman committed Nov 22, 2013

707bc65

Updated Idris Developers Meeting, Nov 2013 (markdown)

edwinb committed Nov 21, 2013

39a2211

Updated Idris Developers Meeting, Nov 2013 (markdown)

Jan de Muijnck-Hughes committed Nov 21, 2013

f32343c

Updated Idris Developers Meeting, Nov 2013 (markdown)

markuspf committed Nov 20, 2013

882d2a0

matus' work ond wednesday

ziman committed Nov 20, 2013

024009a

Fixed headings

Jan de Muijnck-Hughes committed Nov 20, 2013

b8b4822

Added progress statement.

Jan de Muijnck-Hughes committed Nov 20, 2013

f9f2489

Updated Idris Developers Meeting, Nov 2013 (markdown)

hannesm committed Nov 20, 2013

e29fc69

Updated Idris Developers Meeting, Nov 2013 (markdown)

ziman committed Nov 20, 2013

b5fbe90

ziman's tuesday work update

ziman committed Nov 20, 2013

2e9ccc9

Updated Idris Developers Meeting, Nov 2013 (markdown)

markuspf committed Nov 20, 2013

29c0246

Updated Idris Developers Meeting, Nov 2013 (markdown)

markuspf committed Nov 20, 2013

01b22ee

Updated Idris Developers Meeting, Nov 2013 (markdown)

edwinb committed Nov 19, 2013

62364fb

Updated Idris Developers Meeting, Nov 2013 (markdown)

edwinb committed Nov 19, 2013

6b9ec88

Updated Idris Developers Meeting, Nov 2013 (markdown)

edwinb committed Nov 19, 2013

99c9b66

Updated Idris Developers Meeting, Nov 2013 (markdown)

edwinb committed Nov 19, 2013

e2f1810

Updated Idris Developers Meeting, Nov 2013 (markdown)

hannesm committed Nov 19, 2013

dcbb9b0

Updated Idris Developers Meeting, Nov 2013 (markdown)

Ahmad Salim Al-Sibahi committed Nov 19, 2013

5cc0a21

Updated Idris Developers Meeting, Nov 2013 (markdown)

david-christiansen committed Nov 19, 2013

c439a02

Added Monday activity for Jan.

Jan de Muijnck-Hughes committed Nov 19, 2013

e4f3174

Updated Idris Developers Meeting, Nov 2013 (markdown)

edwinb committed Nov 19, 2013

de488db

matus' work on monday

ziman committed Nov 19, 2013

723c0bb

Updated Idris Developers Meeting, Nov 2013 (markdown)

markuspf committed Nov 19, 2013

23a1eb2

more ideas

ziman committed Nov 18, 2013

9a4f781

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

History / Idris Developers Meeting, Nov 2013

Revisions