Dear all,
If you are using Haskell or any mostly functional language in any
kind of musical, artistic, or design endeavour, please consider
contributing to FARM 2014, the 2nd ACM SIGPLAN International Workshop
of Functional Art, Music, Modelling and Design, co-located with ICFP
2014.
Call-for-pa
Idris is a fairly new dependently-typed functional programming language
that aims at being a tool for writing practical programs. It is a close
cousin of Agda. Idris adheres to Haskell's syntactic conventions where
possible, and the compiler is written in Haskell.
An Idris Developers' Meeting will
[Apologies for multiple copies]
FIRST CALL FOR PAPERS==
24th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2014
http://www.iasi.cnr.it/events/lopstr14/
