nomeata/hal2016-website issues and pull requests

#23 - Slides for talk by Philipp Kant

Pull Request - State: closed - Opened by kantp over 8 years ago

#22 - Update index.markdown

Pull Request - State: closed - Opened by sgraf812 over 8 years ago

#21 - aula slides.

Pull Request - State: closed - Opened by fisx over 8 years ago

#20 - Simple blog engine with generic eliminators.

Pull Request - State: closed - Opened by andorp over 8 years ago

#19 - Slides for 'plugin architectures'

Pull Request - State: closed - Opened by sgraf812 over 8 years ago

#18 - synthi-llvm-installation.markdown: include installation instructions in HaL website

Pull Request - State: closed - Opened by thielema over 8 years ago

#17 - program/thielemann: refer to installation instructions on hub.darcs.net

Pull Request - State: closed - Opened by thielema over 8 years ago

#16 - Ten example uses of monads tutorial description.

Pull Request - State: closed - Opened by phischu over 8 years ago - 1 comment

#15 - Corrected university name

Pull Request - State: closed - Opened by rm-- over 8 years ago

#14 - add link

Pull Request - State: closed - Opened by jwaldmann over 8 years ago

#13 - short abstract for my talk

Pull Request - State: closed - Opened by jwaldmann over 8 years ago - 3 comments

#12 - Fix Hungarian accents

Pull Request - State: closed - Opened by ggreif over 8 years ago

#11 - Abstract: Fischmann, Penzes: Aula

Pull Request - State: closed - Opened by fisx over 8 years ago

#10 - Add abstract for talk on Store.

Pull Request - State: closed - Opened by kantp over 8 years ago - 1 comment

#9 - abstract for Talk by C. Hoener zu Siederdissen

Pull Request - State: closed - Opened by choener over 8 years ago - 1 comment

#8 - Inserted revised abstract for #graf

Pull Request - State: closed - Opened by sgraf812 over 8 years ago - 1 comment

#7 - frix $ error on website

Pull Request - State: closed - Opened by urs-of-the-backwoods over 8 years ago - 2 comments

#6 - Updated abstract for HGamer3D submission from Peter Althainz

Pull Request - State: closed - Opened by urs-of-the-backwoods over 8 years ago

#5 - added abstract for my talk on "Dependently Typed Heaps"

Pull Request - State: closed - Opened by brunjlar over 8 years ago - 2 comments

#4 - program: add details for my synthesizer-llvm tutorial

Pull Request - State: closed - Opened by thielema over 8 years ago - 1 comment

#3 - Spelling