Haskell
-- Language
English
Japanese
Spanish
French
Hebrew
Russian
Ukrainian
The meeting place for professional Haskell programmers
Overview
Groups
Find
a Haskeller
Find a Job
Polls
Bling
FAQ
News Archive
Browse Skills
Login
I'm a Haskeller!
Homepage
Browse Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Paul Brauner
Anders Persson
Ganesh Sittampalam
Tim Carstens
Hugo Pacheco
Doaitse Swierstra
Andre Pang
Yoshikuni Jujo
Alexey Levan
Joseph Cox
Alexandru Scvortov
Ben Sinclair
David Leuschner
Joe Fredette
Sjur Gjøstein Karevoll
Nicolas Pouillard
Cthulhon
Boncheol Gu
José Pedro Magalhães
Gabor Greif
Conal Elliott
Bartek Ćwikłowski
Jason Dagit
Jose Iborra
Martin Kudlvasr
Andrew Richards
Emil Axelsson
Edward Amsden
David Sankel
Edmund Lam
Gregory James Duck
Matt Durr
Ian Lynagh
Felipe Lessa
Tom Nielsen
Germán Andrés Delbianco
Manuel Chakravarty
Pablo Buiras
Mario Blažević
Andrey Nikolaenko
art taylor
John Lato
Jason S. Reich
Tom Schrijvers
Steffen Schuldenzucker
Jeremy Shaw
Edward Kmett
Matthew Sorensen
Marcos Viera
Alexander Solla
Konstantin Vladimirov
Arnar Birgisson
Martijn Schrage
Eric Stolten
Yair Chuchem
John Li
Matt Brown
Josef Svenningsson
Applicius
Tom Moertel
poucet
Maciej Kotowicz
Andy Stewart
Wei Hu
Anthony Cowley
Daniel Peebles
Bryan O'Sullivan
Stephen Blackheath
Balázs Kőműves
Sjoerd Visscher
Pierre-Etienne Meunier
Roman Kudiyarov
Andrew Morris
Max Bolingbroke
Noah Ryan
Keigo IMAI
Mattox Beckman
Trevor Elliott
Corey O'Connor
Vivian McPhail
Alexandr Ruchkin
Rick Murphy
Gábor Lehel
Conrad Parker
Nicolas Trangez
PHO
Steffen Siering
Alessandro Vermeulen
Aleksey Khudyakov
Robin Green
Rick Richardson
Masahiro Sakai
Andy Gill
Liyang HU
Robin KAY
Lyndon Maydwell
Luca Ciciriello
Victor Nazarov
Yitz Gale
Marc A. Ziegert
Boris Lykah
Tony Morris
Sebastian Hoehn
Franz Pletz
Paolo Capriotti
Josh Kuhn
Bram Schuur
Keegan McAllister
Bin Jin
Augusto Passalaqua
Lyndon Tremblay
Alexander Shpilkin
Roel van Dijk
Ruben Moor
Nobuo Yamashita
Ian-Woo Kim
8c6794b6
Aditya Kumar
Chung-chieh Shan
Reiner Pope
David Castro
Brandon Simmons
Ramzi Ben Yahya
Satvik Chauhan
Paul Liu
Serguey Zefirov
Edgar Klerks
Markus Barenhoff
Oliver Mueller
Daniel Yokomizo
Heinrich Apfelmus
wren romano
Niklas Broberg
Daniel Haraj
David Kaloper
Carter Tazio Schonwald
Edwin Brady
Andy Sonnenburg
Yves Parès
Lincoln Quirk
pacak
Csaba Hruska
Anton Gushcha
Ilya Portnov
Marc Coiffier
Sebastian Erdweg
Mike Craig
Paul Visschers
Michael Benjamin Gale
Dan Rosén
Rodrigo Ribeiro
Zack Owens
Miikka Koskinen
kirstin rhys
Michael Sloan
Russell O'Connor
Janis Voigtländer
Alp Mestanogullari
Joseph Tel Abrahamson
Nicolas Frisby
Ramon Snir
Alex Ferguson
Nils Schweinsberg
paul callaghan
Ruud Koot
Daniel Molina Wegener
Chris Nicholls
Sebastian Fischer
Kenny Zhuo Ming Lu
Nicola Bonelli
Anupam Jain
Alain Cremieux
Yakov Zaytsev
Chris Taylor
Jean-Christophe Mincke
Michael Snoyman
Jeroen Weijers
Damian
Bas van Dijk
alpheccar
Kazuhiko Sakaguchi
Arash Rouhani
M Farkas-Dyck
Vladimir Shabanov
Lars Petersen
Cedric Fung
Neil Sculthorpe
Valentin Robert
Matthew Mirman
Ki Yung Ahn
Ben Clifford
Martijn van Steenbergen
Mike Izbicki
Blake Rain
Dag Odenhall
Gaël Deest
Simon Meier
Owen Stephens
Bernhard Urban
Martin Sulzmann
Fedor Gogolev
Andrey Chudnov
Renzo Carbonara
Péter Diviánszky
James Koppel
Suhail Shergill
Darius Jahandarie
Erik Hesselink
Izaak Meckler
Brent Yorgey
Kwanghoon Choi
Lucas DiCioccio
Dominic Steinitz
Steve Severance
Roma Leventov
Austin Seipp
Philipp Balzarek
Nathan van Doorn
Aleksey Kliger
Iago Abal
Jeffery Lake
Tillmann Rendel
ony
Philip Lykke Carlsen
Andres Löh
Stephanie Weirich
Tikhon Jelvis
Ömer Sinan Ağacan
Adam Foltzer
Patrick Bahr
Yasuaki Takebe
Arthur Baars
Jeroen Bransen
Joseph Abrahamson
Jurriën Stutterheim
Henning Thielemann
James Cook
Michael Karg
Martin Ruderer
He-chien Tsai
Stephen Diehl
Jorge Adriano Branco Aires
Divyanshu Ranjan
swish
Frano Perleta
Mikhail Mitrofanov
Jake McArthur
Philip K.F. Hölzenspies
Alexey Uimanov
Alejandro Garcia F
fizruk
John Feltz
Dima Mendeleev
Björn Buckwalter
Jens Thomas
Dom De Re
Stefan Holdermans
Miguel Vega
Sergey Vinokurov
Lennart Augustsson
David Vollbracht
Tim Soethout
fronx
Irene Knapp
Dmitry Olshansky
Phil Freeman
Brendan Hay
Eric Easley
Solovyov Dmitry
Petr Pudlák
Alejandro Serrano Mena
Ben Lippmeier
Kenneth Foner
Agata Murawska
Matthias Goergens
jaume
Matthias Brettschneider
Marius Wegner
DIVERIO Diego
Ben
Tim Chevalier
Christian Nyumbayire
Joshua Coutinho
Danny Gratzer
Matthew Wraith
Eric Pashman
Luke Anthony Williams
Markus Hauck
Samuel Gélineau
Elliot Robinson
Travis Athogies
Josh Berman
Matvey Aksenov
Adrian Paleacu
Dr. Gergő Érdi
Tobias Florek
Anton Dessiatov
Mikko Juola
Shaun Sharples
Terje Støback
massyl nait-mouloud
Alex Carter
Miëtek Bak
Andraz Bajt
Jonathan Sterling
Nikita Volkov
Peter Trško
Denis Kasak
Patrik Jansson
chemist
Brendan Hay
Alexander Altman
Chahine Benchohra
Marcos A. Pena
Junji Hashimoto
Erik Allik
Travis Whitaker
Eugene Smolanka
Aaron Stevens
Aistis Raulinaitis
Joseph Ching
Stan Sereburakov
Vladislav Zavialov
Esteban Ruiz Moreno
Yury Gorshkov
Martin Huschenbett
Athan Lawrence Clark
James Fisher
Konrad Lewandowski
Martin Linnemann
Andrew Morris
Joey Capper
Orliuk Mykola
Koen De Keyser
Francisco José CHAVES ALONSO
Alvaro J. Genial
Keystone Media Solutions
Jean-Philippe Bernardy
Christopher Monsanto
Oleg Grenrus
Eduard - Gabriel Munteanu
Michael Schröder
Joachim Breitner
Tim Matthews
Eric Walkingshaw
Dimitri 'phaazon' Sabadie
Christophe McKeon
Artem Pelenitsyn
max carbone
Diogenes Mota
Santiago Saavedra
Carlo Nucera
Leza Morais Lutonda
David Kraeutmann
Martín Ceresa
Arie Peterson
Manuel Eberl
Stijn Blyweert
Max Dietz
Pavel Perikov
Ben Gamari
Liam O'Connor-Davis
Christopher League
Divam Narula
Baojun Wang
Arie Middelkoop
Echo Nolan
Jan Stolarek
vinod kumar
Sergey N. Yashin
josejuan
Gabe Dijkstra
raichoo ketchum
Sean Leather
Matthias M.
Enis Bayramoğlu
Robert Hensing
William Johnson
Luca Prezzavento
Andrey Mokhov
Matthias Pall Gissurarson
civiclabs
Kwang Yul Seo
Damián Franco Álvarez
Pavel Yakovlev
Josenildo Silva
Ophir Geffen
Mike Leder
Jose Fernando Lopez Fernandez
Nikita Yurchenko
Kai Zhang
Mykola Orliuk
Matt Parsons
Benson Joeris
Christopher Blöcker
Lukwago Allan
Matthew Chan
cyberglot
Drezil
Markus Hauck
Sergii Rudchenko
Calvin Beck
Victor Denisov
Tim McGilchrist
Fredrik Carlén
Trevor L. McDonell
Cetin Sert
Moritz Bruder
Anton Ekblad
Nikolai Kuklin
paolino
Cenobio Moisés Vázquez Reyes
Andrea Bessi
Callum Lowcay
Merijn Verstraaten
Remy Goldschmidt
Abhiroop Sarkar
Eliza Brandt
Dmitry Olshansky
Yuriy Syrovetskiy
Sergey Cherepanov
<Unnamed user>
Jelle Hermsen
Nikolaos Bezirgiannis
Alexey Kuleshevich
Akihito KIRISAKI
Kirill Valyavin
Rakesh Emmadi
Stéphane Thibaud
Chris Coffey
Katsutoshi Itoh
Alexander Feterman
Sandy Maguire
ENvironmentSet
Tran Ma
Anders Claesson
Adam Szlachta
Christopher Parks
Sami Vassilev
Nicolas Wu
Flavio Corpa
Alexander Granin
Cristiano Vasconcellos
Joseph C. Sible
Hiromi ISHII
Tommy Engström
Armando Santos
Tim Put
Emily Pillmore
Samuel Schlesinger
SoonHo Seo
Austin Tyler Moore
Risav Karna
Ari Fordsham
Flavio Corpa
Torsten Scholak
Cosmia Fu
Jacob Tan En
Maxim Koltsov
Alexander Bondarenko
Nikolay Yakimov
Lukáš Kuklínek
Valerie Cohrs
Kirill Andreev
Gary Feng
Brian Hwang
Andreas Källberg
Junyoung Clare Jang
Vlad Posmangiu Luchian
Gautier DI FOLCO
Patrick Soulomoon
Walker Gusmão Leite
Mesut Ergul
sameer gupta
Farhad Mehta
William Scott
Cong Zheng
Jan Stranik
Artin Ghasivand
Login with
Login using
— OR —