Timeline


and

Mar 3, 2012:

11:54 AM Ticket #245 (Free vars check is broken) created by benl
Looks like it was broken in the last refactoring. […]
10:50 AM Ticket #244 (Bad error message for type vars used as val vars) created by benl
[…]

Mar 2, 2012:

1:07 AM Ticket #41 (Refactor occurance checker to improve speed.) closed by benl
fixed: Fixed in the new core language
1:06 AM Ticket #81 (Bug in core type checker) closed by benl
fixed: Fixed in the new core language
1:04 AM Ticket #243 (Partially applied primitives get stuck during evaluation.) created by benl
[…]

Feb 23, 2012:

12:27 PM WikiStart edited by benl
(diff)
9:29 AM Language/Core/Universes edited by benl
(diff)
5:17 AM Tutorial/Eval/Expressions edited by benl
(diff)
5:13 AM Tutorial/Eval/Expressions edited by benl
(diff)
5:13 AM Tutorial/Eval/Expressions edited by benl
(diff)
5:09 AM Tutorial/Eval/Expressions edited by benl
(diff)
5:08 AM Tutorial/Eval/Expressions edited by benl
(diff)

Feb 22, 2012:

1:27 PM Tutorial/Eval/Expressions edited by benl
(diff)

Feb 21, 2012:

2:31 AM Tutorial/Eval/Expressions edited by benl
(diff)

Feb 20, 2012:

11:12 AM Ticket #242 (Better error message when constructors are used at the wrong level) closed by benl
fixed

Feb 19, 2012:

12:20 PM WikiStart edited by benl
(diff)
12:15 PM Tutorial/Eval/Expressions edited by benl
(diff)
12:13 PM Tutorial/Eval/Expressions edited by benl
(diff)
12:12 PM Tutorial/Eval/Expressions edited by benl
(diff)
12:09 PM Tutorial/Eval/Expressions edited by benl
(diff)
12:06 PM Tutorial/Eval/Expressions edited by benl
(diff)
11:59 AM Tutorial/Eval/Expressions edited by benl
(diff)
11:42 AM Tutorial/Eval/Expressions edited by benl
(diff)
11:26 AM Tutorial/Eval/Expressions edited by benl
(diff)
11:12 AM Tutorial/Eval/Expressions edited by benl
(diff)
11:09 AM Tutorial/Eval/Expressions edited by benl
(diff)
11:01 AM Tutorial/Eval/Expressions edited by benl
(diff)
10:47 AM Tutorial/Eval/Expressions edited by benl
(diff)
6:34 AM Tutorial/Eval/Expressions edited by benl
(diff)
6:32 AM Tutorial/Eval/Expressions edited by benl
(diff)
6:29 AM Tutorial/Eval/Expressions edited by benl
(diff)
5:26 AM Tutorial/Eval/Expressions edited by benl
(diff)
5:25 AM Tutorial/Eval/Expressions edited by benl
(diff)

Feb 18, 2012:

12:14 PM Tutorial/Eval/Expressions edited by benl
(diff)
12:11 PM Tutorial/Eval/Expressions edited by benl
(diff)
12:11 PM Tutorial/Eval/Expressions edited by benl
(diff)
12:10 PM Tutorial/Eval/Expressions edited by benl
(diff)
9:40 AM Tutorial/Eval/Expressions edited by benl
(diff)
8:24 AM Tutorial/Eval/Expressions edited by benl
(diff)
7:41 AM Tutorial/Eval/Expressions edited by benl
(diff)
7:32 AM Tutorial/Eval/Expressions edited by benl
(diff)
7:14 AM Tutorial/Eval/Expressions edited by benl
(diff)
6:40 AM Tutorial/Eval/Expressions edited by benl
(diff)
6:22 AM Tutorial/Eval/Expressions edited by benl
(diff)
2:57 AM Language/Core/Witnesses edited by benl
(diff)

Feb 17, 2012:

12:22 PM Tutorial/Eval/Expressions edited by benl
(diff)
12:19 PM Tutorial/Eval/Expressions edited by benl
(diff)
12:14 PM Tutorial/Eval/Expressions edited by benl
(diff)
12:09 PM Tutorial/Eval/Expressions edited by benl
(diff)
11:59 AM Tutorial/Eval/Expressions edited by benl
(diff)
11:58 AM Tutorial/Eval/Expressions edited by benl
(diff)
11:57 AM Tutorial/Eval/Expressions edited by benl
(diff)
10:45 AM Tutorial/Eval/Expressions edited by benl
(diff)
10:44 AM Tutorial/Eval/Expressions edited by benl
(diff)
10:43 AM Tutorial/Eval/Expressions edited by benl
(diff)
10:31 AM Tutorial/Eval/Expressions edited by benl
(diff)

Feb 16, 2012:

2:31 PM Development/CodeConventions edited by benl
(diff)
2:29 PM Development/CodeConventions edited by benl
(diff)
2:18 PM Tutorial/Eval/Expressions edited by benl
(diff)
2:16 PM Tutorial/Eval/Expressions edited by benl
(diff)
2:14 PM Tutorial/Eval/Expressions edited by benl
(diff)
2:10 PM Tutorial/Eval/Expressions edited by benl
(diff)
2:02 PM Tutorial/Eval/Expressions edited by benl
(diff)
2:01 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:54 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:54 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:53 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:51 PM Tutorial created by benl
1:51 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:42 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:41 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:33 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:13 PM Language/Core edited by benl
(diff)
1:13 PM Language/Core edited by benl
(diff)
1:13 PM Tutorial/Eval/Expressions edited by benl
(diff)
1:09 PM Tutorial/Eval/Expressions created by benl
1:08 PM WikiStart edited by benl
(diff)
1:07 PM WikiStart edited by benl
(diff)
1:07 PM WikiStart edited by benl
(diff)
1:06 PM WikiStart edited by benl
(diff)
1:04 PM Alpha/Commentary edited by benl
(diff)
1:00 PM WikiStart edited by benl
(diff)
12:58 PM WikiStart edited by benl
(diff)
12:57 PM WikiStart edited by benl
(diff)
12:56 PM Alpha/Language edited by benl
(diff)
12:54 PM Language/Core/Expressions edited by benl
(diff)
12:53 PM Language/Core/Expressions edited by benl
(diff)
12:51 PM Language/Core/Witnesses edited by benl
(diff)
12:41 PM Language/Core/Variables edited by benl
(diff)
12:41 PM Language/Core/Variables edited by benl
(diff)
12:40 PM Language/Core/Universes edited by benl
(diff)
12:39 PM Language/Core/Universes edited by benl
(diff)

Feb 15, 2012:

1:41 PM Ticket #238 (Check for witness conflicts in initial expresson) closed by benl
fixed
1:41 PM Ticket #235 (Handle casts in head position.) closed by benl
fixed

Feb 11, 2012:

7:21 AM Ticket #11 (Resurrect Core.Inline) closed by benl
wontfix: This is going into the new core language
7:18 AM Ticket #237 (Handle spill components of sums in type equivalence checker.) closed by benl
fixed

Feb 10, 2012:

12:22 AM Ticket #240 (Treat parameter and return types of functions as immaterial.) closed by benl
fixed

Feb 5, 2012:

5:08 AM Language/Core/Expressions edited by benl
(diff)
5:04 AM Language/Core/Witnesses edited by benl
Remove unimplemented distinct constructor (diff)
5:03 AM Language/Core/Variables edited by benl
Remove distinct as it's unimplemented (diff)
4:02 AM Ticket #242 (Better error message when constructors are used at the wrong level) created by benl
Here, () is a data constructor but we've treated it as a type …
Note: See TracTimeline for information about the timeline view.