Ewan | Lambda the Ultimate

Ewan

view
track

History

Member for:
9 years 13 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

Some backward chaining in a theory for Countably's Umbrella
53 min 59 sec ago
But I understood your fields
5 hours 58 min ago
Yes, order doesn't matter;
6 hours 4 min ago
OK, I'm not sure you
6 hours 10 min ago
Assignment is naturally
6 hours 48 min ago
The goal is to separate out
8 hours 10 min ago
I see, but I'm not sure how
18 hours 24 min ago
But then in Baz, a
19 hours 2 min ago
Given an object allocation,
20 hours 36 min ago
Probably I don't understand
21 hours 41 min ago