485:
Can you cite one or two examples out of the mentions you found which you feel satisfy this condition? It's possible I missed a good source, in which case I'm happy to withdraw my nomination. But I kind of need to see it, first, because I couldn't find it.
328:
A Google search on "Idris programming language" hit 73,600 results (while 31,300 on "Agda programming language" and 39,500 on "Epigram programming language"). The notability of Idris in academia has become significant enough recently.
166:
483:""Significant coverage" means that sources address the subject directly in detail, so no original research is needed to extract the content. Significant coverage is more than a trivial mention ..."
160:
206:
and thus unsuitable. This could be a case where sources may soon become available to establish notability and the article could be resurrected. But
Knowledge (XXG) is not a
119:
429:
303:"In Coq, but also in other dependently typed languages such as Agda , Epigram , and IDRIS , properties of type system can be expressed as types of the inference algorithm."
277:
In Coq, but also in other dependently typed languages such as Agda , Epigram , and IDRIS , properties of type system can be expressed as types of the inference algorithm.
92:
87:
126:
96:
79:
409:
Thank you. I needed a little time to review it first, but this appears to be a good independent source. I am withdrawing my nomination. Again, thank you.
181:
148:
392:
17:
83:
258:, and Brady's "IDRIS---: systems programming meets full dependent types" has been cited 24 times, such third-party sources include:
142:
495:
469:
452:
418:
400:
371:
338:
314:
288:
241:
219:
61:
305:
The bibliography gives the reference as a 9-page paper by the author of the language. That's it. This doesn't come close.
138:
188:
75:
67:
514:
40:
267:
446:
396:
207:
154:
347:
510:
36:
203:
252:
174:
232:
cited by 130.226.133.44 meets the requirement for significant independent secondary coverage.
491:
414:
367:
334:
310:
237:
215:
57:
29:
The following discussion is an archived debate of the proposed deletion of the article below.
509:
Subsequent comments should be made on the appropriate discussion page (such as the article's
35:
Subsequent comments should be made on the appropriate discussion page (such as the article's
284:
478:
351:
250:
IDRIS is important enough to have been proposed for inclusion in an undergraduate program,
199:
386:
229:
465:
441:
198:
Lacks reliable independent secondary sources to establish notability as required by
487:
410:
363:
330:
306:
297:
You're kidding. This is what you count as source that would contribute toward the
233:
211:
53:
113:
463:
Notable. Frequently mentioned in the proceedings of ICFP and POPL and the JPF. —
280:
481:
asks the the subject should have received significant coverage, described as,
434:
354:. But I concede that suitable sources establishing notability may appear
254:
A proposed curriculum for an undergraduate software engineering degree
202:. All the sources offered and all that I could find by Googling are
269:
Inference of
Program Properties with Attribute Grammars, Revisited
503:
The above discussion is preserved as an archive of the debate.
383:
There's an article in the
Pragmatic Programmers online magazine
301:
required to establish notability? Here's the whole thing:
109:
105:
101:
173:
187:
43:). No further edits should be made to this page.
517:). No further edits should be made to this page.
430:list of Computing-related deletion discussions
8:
428:Note: This debate has been included in the
427:
18:Knowledge (XXG):Articles for deletion
7:
24:
52:I have withdrawn my nomination.
388:Dependent Types: A New Paradigm?
358:I just don't think they exist
1:
230:Pragmatic Programmers article
76:Idris (programming language)
68:Idris (programming language)
534:
496:15:40, 29 April 2013 (UTC)
470:14:38, 29 April 2013 (UTC)
453:00:03, 28 April 2013 (UTC)
419:16:49, 29 April 2013 (UTC)
401:10:49, 29 April 2013 (UTC)
372:16:35, 28 April 2013 (UTC)
339:16:24, 28 April 2013 (UTC)
315:00:11, 28 April 2013 (UTC)
289:22:56, 27 April 2013 (UTC)
242:16:49, 29 April 2013 (UTC)
220:21:14, 27 April 2013 (UTC)
62:19:54, 29 April 2013 (UTC)
506:Please do not modify it.
32:Please do not modify it.
385:Paul Callaghan (2013),
266:Middelkoop, A. (2012),
228:I'm satisfied that the
226:Nomination withdrawn.
299:significant coverage
455:
352:argument to avoid
525:
508:
451:
449:
444:
439:
391:
275:
274:
257:
192:
191:
177:
129:
117:
99:
48:The result was
34:
533:
532:
528:
527:
526:
524:
523:
522:
521:
515:deletion review
504:
447:
442:
435:
433:
384:
272:
265:
251:
222:
134:
125:
90:
74:
71:
41:deletion review
30:
22:
21:
20:
12:
11:
5:
531:
529:
520:
519:
500:
499:
498:
473:
472:
457:
456:
424:
423:
422:
421:
404:
403:
393:130.226.133.44
377:
376:
375:
374:
342:
341:
322:
321:
320:
319:
318:
317:
292:
291:
260:
259:
208:WP:CRYSTALBALL
197:
195:
194:
131:
70:
65:
46:
45:
25:
23:
15:
14:
13:
10:
9:
6:
4:
3:
2:
530:
518:
516:
512:
507:
501:
497:
493:
489:
484:
480:
477:
476:
475:
474:
471:
468:
467:
462:
459:
458:
454:
450:
445:
440:
438:
431:
426:
425:
420:
416:
412:
408:
407:
406:
405:
402:
398:
394:
390:
389:
382:
379:
378:
373:
369:
365:
361:
357:
353:
349:
348:WP:GOOGLEHITS
346:
345:
344:
343:
340:
336:
332:
327:
324:
323:
316:
312:
308:
304:
300:
296:
295:
294:
293:
290:
286:
282:
278:
271:
270:
264:
263:
262:
261:
256:
255:
249:
246:
245:
244:
243:
239:
235:
231:
227:
223:
221:
217:
213:
209:
205:
201:
190:
186:
183:
180:
176:
172:
168:
165:
162:
159:
156:
153:
150:
147:
144:
140:
137:
136:Find sources:
132:
128:
124:
121:
115:
111:
107:
103:
98:
94:
89:
85:
81:
77:
73:
72:
69:
66:
64:
63:
59:
55:
51:
44:
42:
38:
33:
27:
26:
19:
505:
502:
482:
464:
460:
436:
387:
380:
359:
355:
325:
302:
298:
276:
268:
253:
247:
225:
224:
196:
184:
178:
170:
163:
157:
151:
145:
135:
122:
49:
47:
31:
28:
161:free images
204:WP:PRIMARY
511:talk page
37:talk page
513:or in a
120:View log
39:or in a
488:Msnicki
411:Msnicki
364:Msnicki
331:soimort
307:Msnicki
234:Msnicki
212:Msnicki
167:WP refs
155:scholar
93:protect
88:history
54:Msnicki
479:WP:GNG
350:is an
281:Bejnar
200:WP:GNG
139:Google
97:delete
356:soon.
273:(PDF)
182:JSTOR
143:books
127:Stats
114:views
106:watch
102:links
50:Keep.
16:<
492:talk
466:Ruud
461:Keep
437:czar
415:talk
397:talk
381:Keep
368:talk
335:talk
326:Keep
311:talk
285:talk
248:Keep
238:talk
216:talk
175:FENS
149:news
110:logs
84:talk
80:edit
58:talk
362:.
360:now
189:TWL
118:– (
494:)
432:.
417:)
399:)
370:)
337:)
329:--
313:)
287:)
279:--
240:)
218:)
210:.
169:)
112:|
108:|
104:|
100:|
95:|
91:|
86:|
82:|
60:)
490:(
448:·
443:·
413:(
395:(
366:(
333:(
309:(
283:(
236:(
214:(
193:)
185:·
179:·
171:·
164:·
158:·
152:·
146:·
141:(
133:(
130:)
123:·
116:)
78:(
56:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.