|
6macros: discussing the finer points of Perl 6 macros, Qtrees, and how to stay sane | irclog: irclog.perlgeek.de/6macros/today Set by moderator on 29 April 2015. |
|||
|
02:58
vendethiel joined
08:36
Ven joined
08:50
Ven joined
10:19
Ven joined
12:27
Ven joined
|
|||
| Ven | www.seas.upenn.edu/~eir/papers/2013...tended.pdf | 12:42 | |
| Dependent Haskell | |||
| masak .oO( just what the world needed ) | 12:46 | ||
| looks nice. | |||
| I was reading an Agda tutorial earlier today. | |||
|
13:55
Ven joined
14:06
Ven joined
|
|||
| Ven | masak: learn you an agda? | 14:09 | |
|
15:23
Ven joined
15:24
vendethiel joined
15:43
Ven joined
16:13
vendethiel joined
17:13
vendethiel joined
|
|||
| masak | aye -- learn me an agda. | 18:22 | |
|
18:44
vendethiel joined
20:13
vendethiel joined
21:05
vendethiel joined
23:26
vendethiel joined
|
|||