Account name:
Password
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
substitute
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
Reload page in style:
site
light
substitute
Recent Entries
Archive
Reading
Tags
Memories
Profile
found LJ icon of the day
Nov
.
28th
,
2008
08:16 pm
substitute
Current Mood:
sleepy
Flat
|
Top-Level Comments Only
(no subject)
Date:
2008-11-29 08:19 am (UTC)
From:
etb.livejournal.com
...and next you'll be telling me that Γ is a set of typing assumptions, M is a term and τ is a type, but I don't know what that & is doing in there.
(no subject)
Date:
2008-11-29 09:05 am (UTC)
From:
dr-strych9.livejournal.com
Yeah, that is one of the problems when you're looking at that shit in a paper and trying to figure out how to translate it into Twelf.
Previous Entry
Add Memory
Share This Entry
Next Entry
12 comments
Reply
Flat
|
Top-Level Comments Only
Profile
substitute
May
2009
S
M
T
W
T
F
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Most Popular Tags
advertising
-
49 uses
americafuckyeah
-
48 uses
art
-
61 uses
brain
-
91 uses
cars
-
45 uses
commerce
-
231 uses
costamesa
-
50 uses
crime
-
53 uses
culture
-
46 uses
death
-
64 uses
delicious glue
-
153 uses
diedrich
-
93 uses
doh
-
152 uses
doom
-
107 uses
drugs
-
44 uses
failure
-
74 uses
flickr
-
163 uses
food
-
171 uses
friends
-
141 uses
geek
-
53 uses
ha
-
135 uses
history
-
48 uses
honk
-
147 uses
links
-
370 uses
lj
-
61 uses
local
-
206 uses
lol
-
126 uses
me
-
113 uses
mp3
-
42 uses
music
-
303 uses
newportbeach
-
45 uses
news
-
118 uses
no
-
249 uses
orangecounty
-
144 uses
patio
-
86 uses
personalnarrative
-
81 uses
photography
-
59 uses
photos
-
212 uses
politics
-
226 uses
religion
-
76 uses
science
-
43 uses
sex
-
112 uses
tag
-
356 uses
video
-
99 uses
villainy
-
138 uses
war
-
68 uses
what
-
107 uses
wtf
-
144 uses
youtube
-
48 uses
yow
-
51 uses
Page Summary
etb.livejournal.com
-
(no subject)
Style Credit
Style:
Basic
for
Transmogrified
by
Yvonne
Expand Cut Tags
No cut tags
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
(no subject)
Date: 2008-11-29 08:19 am (UTC)(no subject)
Date: 2008-11-29 09:05 am (UTC)