Dependently Typed Programming 2011
Call for Participation
27 of August 2011
Nijmegen, The Netherland
In association with ITP 2011
http://www.cs.ru.nl/dtp11
Please consider registering for DTP 2011:
http://itp
On Fri, 08 Jul 2011 08:08:26 +0200, Heinrich Apfelmus
wrote:
Dear Haskellers,
Can GUI programming be liberated from the IO monad? Functional Reactive
Programming (FRP) promises as much, and I'm trying to make this dream a
reality with my [reactive-banana][] library. Having released versi
On Thu, Jul 7, 2011 at 11:08 PM, Heinrich Apfelmus
wrote:
> Dear Haskellers,
>
> Can GUI programming be liberated from the IO monad? Functional Reactive
> Programming (FRP) promises as much, and I'm trying to make this dream a
> reality with my [reactive-banana][] library. Having released version
