This is an RSS file. It is intended to be read by a software program called a "feed reader". Search on Google for more details. http://www.simpy.com/links/tag/%22types%22%2Fs%3Dd http://www.simpy.com/ http://www.simpy.com/img/simpy-icon-16x16.png http://www.simpy.com/links/tag/%22types%22%2Fs%3Dd 1440 Tagged by ouzelum tofgarion vangelx jstone sigma jarek lambdareader sigmamtp under coq, coq, inria, inria, ocaml, ocaml, proof, proof, prover, prover, theorem, theorem, Coq, France, assistant, computer.science, computer_science, declarative.language, formal.system, free, haskell, logic, math, open.source, programming, reference, research, software, theory, tools, types, verification, ]]> Tagged by krypskytt nev_otter revenantdm anthony68 charlesknnell thenjmi meenka fedb zaipul blowes drgroves5 nerissa jfk cirestodd bkeefe tolanj strayfrog erarcoe youngho vgtaluskie parth4 7vicar sabines x0nic blueheron dhylands teayu nch honam rsmachado90 pwhite1048 robingood jugbo supervova interguru raj bulljd qbflugo pescador zog libkitty johnwhorfin holygolightly squidbee tmulholl marko theeviltoad benkinsella bzaremsky ghostaliaz gilbert myinfopoint lildave golddragon sarowe mhardee kkli1234 dcoppula jgoff alakar annekenstein waseemextra tomfaulhaber vermund chrisnh mikmak futurelogix snowdragon lsanin tartz93 sgecko mcheloor debio drdjp11 meltedmind stephenwestwood toniabarone kcsaff uma ekz npy linnenma captainbiorhythm dsavage n_ranjit123 kaasgaard kambizpascia lauri amitchaulkar ourkid veky parvez1 gwmccort omnisis iangriff sra1_352 matbudz venkatcc chawarong flameater toddc dwatson almutamb stumblebumfiasco mstjern cyber_loyee lalakimmers rootnl2k deasaw mheinath bburnett ilverointuito marly_marl andymanj tpinnick aok mboozer tiskel malcolan gfarley qamed1 dannythomas rwilbourn rinkjustice golumbus romillyblackburn freality alpar pwongtl cete zulfinho erik hbar137 cedarwaxwing yvesb wenjinglee ozlin albertindian2001 aerosmith theoglobal asuwish medievalmagic gemmab manishs0 kjetilg kashaziz awright phreaktsunami2k andrea_blackhurst events henryctamwork eackley 50quid skrytorf knagin gsaha snicker01 drarunmenon tslui josrol mlezak civbert sadcalavera mahadevan sagarchandratrey billjessst wthompsonjr jjobe forevervain mastersilk 121167 ciresh rogeroge longing4ssi mktackabery victor rwaterhouse nsaluja mgrice beaglebot balpreet tawasna onemorebite frabbadude tahask dewi aalsop hrens stephen.friend blueguitar under media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, media, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, online, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, hollywood, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, imported, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, Media, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, favorites, internet, internet, internet, internet, internet, internet, internet, internet, internet, internet, internet, internet, internet,