-
Notifications
You must be signed in to change notification settings - Fork 0
/
aspellenpws
142 lines (142 loc) · 1013 Bytes
/
aspellenpws
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
personal_ws-1.1 en 141
CFG
Runtime
backends
Mangusmana
Proven
sdf
subsorted
deursen
APL
DCE
bc
RHS
meredith
collatz
asf
maude
rect
Champaign
Cho
sep
ptr
javaws
lau
subtyping
kahn
Vognar
monad
Xmonad
Grigore
callee
Hashtbl
zumer
arity
tcs
parameterized
OCaml's
fn
memoization
fp
Chikun
ic
mapReduce
texmode
tuple
CPUs
LHS
hanoi
bool
multi
schulte
OCamlopt
HW
globals
Frigost
mernik
mikesdots
ilseman
subsorting
meseguer
printf
balancers
Erlang
Magno's
SCCP
Ilsemann
Paren
autoboxing
str
subgraph
andrews
Kumar
RL
Schlossberg
amorim
OCaml
lookup
avdicausevic
env
unassimilable
th
multicore
Magno
BigInt
Modula
Vip
kmaude
salaryman
Rosu's
linum
Hurwitz
ellison
logics
lenic
Joseki
executables
cham
goto
GHz
todo
AAS
ACI
shygost
backedge
subterm
FSL
GlobalStore
Chikun's
garg
Chucky
subsorts
eval
iff
boolean
equational
despeyroux
rosu
letrec
Obama
struct
benchmarked
ATerm
Postorder
amast
tuples
bergstra
Ilsemanns
Antani
UIUC
refactoring
Kal
gotos
Rubio
ASIC
borras
MSOS
Bulosan
pre
RET
serbanuta
Urbana
shygost's