Introduction to Agda [1/5]
Part 1 of Daniel Peebles' Introduction to Agda, presented at Boston Haskell on January 20, 2011.
edwardkmett- Length: 13:05
- Views: 2136
- Tags: haskell functional-programming math databases agda lecture talk pumpkin copumpkin boston
-
Cornelis Vreeswijk - Hönan Agda
A swedish song about Agda the Hen.
- missfoxears
- Length: 2:44
- Views: 669609
- Tags: höna agda cornelis vreeswijk
-
Introduction to Agda [2/5]
Part 2 of Daniel Peebles' Introduction to Agda, presented at Boston Haskell on January 20, 2011.
![Introduction to Agda [2/5]](http://i1.ytimg.com/vi/MXRo_-cErOc/2.jpg)
![Introduction to Agda [2/5]](http://i1.ytimg.com/vi/MXRo_-cErOc/3.jpg)
- edwardkmett
- Length: 12:55
- Views: 746
- Tags: haskell functional-programming math databases agda lecture talk pumpkin copumpkin boston
-
Introduction to Agda [3/5]
Part 3 of Daniel Peebles' Introduction to Agda, presented at Boston Haskell on January 20, 2011.
![Introduction to Agda [3/5]](http://i3.ytimg.com/vi/eVTc0zaS_hk/2.jpg)
![Introduction to Agda [3/5]](http://i3.ytimg.com/vi/eVTc0zaS_hk/3.jpg)
- edwardkmett
- Length: 14:24
- Views: 397
- Tags: haskell functional-programming math databases agda lecture talk pumpkin copumpkin boston
-
Introduction to Agda [4/5]
Part 4 of Daniel Peebles' Introduction to Agda, presented at Boston Haskell on January 20, 2011.
![Introduction to Agda [4/5]](http://i2.ytimg.com/vi/l1KNGoLFnJI/2.jpg)
![Introduction to Agda [4/5]](http://i2.ytimg.com/vi/l1KNGoLFnJI/3.jpg)
- edwardkmett
- Length: 11:15
- Views: 324
- Tags: haskell functional-programming math databases agda lecture talk pumpkin copumpkin boston
-
My AG Doll Room: AGDA
This is my American Girl Doll room. Be nice, this is my first video. I will make more in a couple days. Thanks for watching!!!!!! :)
- agdanceacademy12
- Length: 3:11
- Views: 5352
- Tags: Girl American Doll
-
AGDA 48 - Jim Antonopoulos
Jim Antonopoulos, Creative Director at TANK, presents at the ADGA 48 sessions on March 4, 2008 - RMIT. Jim talks about his love for the band Kiss and branding - and how the two are linked. www.tankstudio.com.au
Introduction to Agda [5/5]
Part 5 of Daniel Peebles' Introduction to Agda, presented at Boston Haskell on January 20, 2011.
![Introduction to Agda [5/5]](http://i3.ytimg.com/vi/MemL4LPhGaM/2.jpg)
![Introduction to Agda [5/5]](http://i3.ytimg.com/vi/MemL4LPhGaM/3.jpg)
- edwardkmett
- Length: 13:08
- Views: 307
- Tags: haskell functional-programming math databases agda lecture pumpkin copumpkin boston
-
Agda Bavi Pain - Preco Zhorela Nasa Laska PROMO VIDEO
First solo promo video of controversial slovak-turkish writer and singer of banned underground supergroup Liter Gena. 1992 © Liter Gena Holdings. Ltd. www.agdabavipain.com www.ke-mafia.com
- kemafia
- Length: 3:02
- Views: 12745
- Tags: agda bavi pain tony gaal jozef aladar hrca KE mafia kemafia agdabavipain.com ke-mafia.com dezolutky google ebay yahoo.com music mapquest google.com food travel hotmail computer yahoo advertising weather sex msn punk metal heavy hard core hardcore grind gore liter gena hip-hop rap entertainment porno movie animation anime art documentary experimental filmmaker reel interview manga short film trailer horror horor terror teror iron maiden literature
-
AGDA Pros and Cons SALA Exhbition | Film by Antony Cirocco
30 x Graphic Designers 30 x Pairs of Converse® Chuck Taylor High Tops 30 x Unique works of art "An exhibition that explores the very sole of creativity" A group exhibition answering the following brief: Take one pair of kids size 10 white canvas Converse® Chuck Taylor High Tops and transform them...
Agda Bavi Pain - Blood, Sweat & Bratislava, ORF2 TV
Agda Bavi Pain, spisovateľ a scenárista, v programe "Blood, Sweat & Bratislava: Slowakische Literatur" rakúskej televízie ORF2. Agda Bavi Pain, controversial writer and scriptwriter from Slovakia in "Blood, Sweat & Bratislava: Slowakische Literatur" short feature aired in Austrian television ORF2...
- kemafia
- Length: 3:44
- Views: 785
- Tags: agda bavi pain tony gaal jozef aladar hrca agdabavipain.com ke-mafia.com dezolutky google ebay yahoo.com music map food travel hotmail computer yahoo advertising weather sex msn literatura literature art umenie author autor spisovatel writer basnik poet scriptwriter scenarista scenar dramaturg text textar lyrics copywriter proza fiction novel novela poviedka kniha book short story publikacia
-
An Evening with David Lancashire - AGDA SA
David's standing in the design community is reflected in his membership of Alliance Graphique Internationale. His work has been recognised with many awards and has appeared in numerous Australian and International graphic design publications. With more than 35 years in the design industry, David'...
- antonycirocco
- Length: 9:58
- Views: 146
- Tags: David Lancashire AGDA South Australia SA AGDA SA
-
AGDA Christmas Performance!
Thx to all who participated!!! This video couldn't have been made without all of you!!!! XD
Page: 1 of 160
