28 Sep 22:15 2014fuzzy wozzy
*Does Shen's math library work with (tc +)?
30 Sep 01:20 2014willi riha
**Does Shen's math library work with (tc +)?
30 Sep 05:39 2014Mark Tarver
**Does Shen's math library work with (tc +)?
29 Sep 14:25 2014john walker
*Documentation
29 Sep 21:40 2014Mark Tarver
**Documentation
29 Sep 21:44 2014Mark Tarver
***Documentation
29 Sep 22:28 2014Mark Tarver
**Documentation
30 Sep 02:16 2014john walker
***Documentation
30 Sep 02:07 2014john walker
***Documentation
30 Sep 06:23 2014Mark Tarver
****Documentation
27 Sep 19:58 2014Jacob
*Yet another platform(YAP?)
28 Sep 21:46 2014Mark Thom
**Yet another platform(YAP?)
28 Sep 22:36 2014fuzzy wozzy
**Yet another platform(YAP?)
29 Sep 23:52 2014Mark Tarver
***Yet another platform(YAP?)
28 Sep 21:21 2014fuzzy wozzy
**Yet another platform(YAP?)
29 Sep 23:45 2014Mark Tarver
***Yet another platform(YAP?)
30 Sep 15:57 2014fuzzy wozzy
**Yet another platform(YAP?)
26 Sep 17:39 2014deech
*Perceived License Issues
27 Sep 00:42 2014Mark Tarver
**Perceived License Issues
27 Sep 05:02 2014fuzzy wozzy
**Perceived License Issues
27 Sep 18:17 2014fuzzy wozzy
**Perceived License Issues
27 Sep 03:51 2014fuzzy wozzy
**Perceived License Issues
29 Sep 08:10 2014fuzzy wozzy
**Perceived License Issues
29 Sep 00:42 2014fuzzy wozzy
**Perceived License Issues
26 Sep 08:20 2014Mark Tarver
*Shen with GUI
26 Sep 17:17 2014Michael Bradley, Jr.
**Shen with GUI
25 Sep 14:45 2014Mark Tarver
*volunteer work to assemble canonical test suite
21 Sep 17:05 2014radhika.sawant9
*Be in the Race
17 Sep 10:45 2014Mark Tarver
*Shen 16 is up
18 Sep 08:29 2014Racket Noob
**Shen 16 is up
18 Sep 16:01 2014Fernando Raya
***Shen 16 is up
18 Sep 16:46 2014Mark Tarver
****Shen 16 is up
18 Sep 18:03 2014Mark Tarver
*****Shen 16 is up
18 Sep 15:17 2014Ramil Farkhshatov
***Shen 16 is up
19 Sep 23:30 2014Greg Spurrier
**Shen 16 is up
20 Sep 12:50 2014Artella Coding
**Shen 16 is up
16 Sep 10:27 2014Mark Tarver
*Shen 16 to appear
16 Sep 10:50 2014Mark Tarver
**Shen 16 to appear
18 Sep 12:31 2014Mark Tarver
***Shen 16 to appear
15 Sep 17:40 2014Reid McKenzie
*TBoS stateside
15 Sep 18:35 2014Mark Tarver
**TBoS stateside
18 Sep 03:02 2014jpd
**TBoS stateside
13 Sep 18:11 2014deech
*Type dependent on value?
14 Sep 16:36 2014Artella Coding
**Type dependent on value?
14 Sep 16:46 2014Artella Coding
***Type dependent on value?
14 Sep 16:34 2014Artella Coding
**Type dependent on value?
15 Sep 17:16 2014Mark Tarver
**Type dependent on value?
12 Sep 13:09 2014Mark Tarver
*Hlibert proofs as a type in Shen
17 Sep 18:55 2014willi riha
**Hlibert proofs as a type in Shen
9 Sep 04:50 2014Lawrence Krubner
*noob question about available libraries
9 Sep 10:32 2014Mark Tarver
**noob question about available libraries
11 Sep 18:47 2014Jacob
**noob question about available libraries
11 Sep 19:20 2014Mark Tarver
***noob question about available libraries
11 Sep 19:58 2014Jacob Goodson
****noob question about available libraries
12 Sep 12:39 2014Mark Tarver
*****noob question about available libraries
11 Sep 21:10 2014deech
****noob question about available libraries
11 Sep 21:17 2014deech
****noob question about available libraries
7 Sep 11:05 2014Mark Thom
*Typing function definitions
9 Sep 01:23 2014Mark Thom
**Typing function definitions
11 Sep 07:33 2014Mark Thom
**Typing function definitions
11 Sep 21:23 2014Mark Thom
***Typing function definitions
15 Sep 16:39 2014Mark Tarver
**Typing function definitions
16 Sep 20:22 2014Mark Thom
***Typing function definitions
6 Sep 00:03 2014Dumaiu
*Question: (shen.typecheck)
6 Sep 10:52 2014Mark Tarver
**Question: (shen.typecheck)
8 Sep 04:28 2014jpd
***Question: (shen.typecheck)
8 Sep 13:07 2014Mark Tarver
****Question: (shen.typecheck)
2 Sep 23:13 2014Willi Riha
*LPC Book
3 Sep 11:34 2014Mark Tarver
**LPC Book
24 Sep 20:13 2014Michael Bradley, Jr.
***LPC Book
26 Sep 06:46 2014Mark Tarver
****LPC Book
26 Sep 17:03 2014Michael Bradley, Jr.
*****LPC Book
27 Sep 15:08 2014Mark Tarver
******LPC Book
27 Sep 16:30 2014Michael Bradley, Jr.
*******LPC Book
28 Sep 14:15 2014Artella Coding
********LPC Book
29 Sep 23:23 2014Mark Tarver
********LPC Book
23 Sep 22:27 2014willi riha
**LPC Book
28 Sep 17:04 2014fuzzy wozzy
**LPC Book
30 Sep 11:48 2014Mark Tarver
***LPC Book
28 Sep 22:26 2014fuzzy wozzy
**LPC Book
2 Sep 03:18 2014deech
*Vector Bug?
2 Sep 10:13 2014Mark Tarver
**Vector Bug?
3 Sep 03:37 2014fuzzy wozzy
**Vector Bug?
4 Sep 16:06 2014fuzzy wozzy
**Vector Bug?
4 Sep 18:44 2014Mark Tarver
***Vector Bug?
5 Sep 06:30 2014fuzzy wozzy
**Vector Bug?
5 Sep 12:47 2014Mark Tarver
***Vector Bug?
1 Sep 23:07 2014deech
*Definition of map
2 Sep 00:38 2014Mark Tarver
**Definition of map
2 Sep 07:30 2014Ramil Farkhshatov
***Definition of map
2 Sep 00:38 2014Mark Tarver
**Definition of map
5 Sep 05:06 2014fuzzy wozzy
**Definition of map
5 Sep 12:35 2014Mark Tarver
***Definition of map
5 Sep 12:29 2014Ramil Farkhshatov
***Definition of map
5 Sep 14:22 2014Mark Tarver
***Definition of map
5 Sep 15:31 2014fuzzy wozzy
**Definition of map
5 Sep 18:30 2014Mark Tarver
***Definition of map
6 Sep 03:52 2014fuzzy wozzy
**Definition of map
1 Sep 15:34 2014Mark Tarver
*Shen paper on Racketnoob's Lisp interpreter
1 Sep 15:56 2014Artella Coding
**Shen paper on Racketnoob's Lisp interpreter