liquidhaskell
Contact owners and managers
liquidhaskell@googlegroups.com
Description
This is a mailing list for users and developers of LiquidHaskell
http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/about/
The code lives on github at
https://github.com/ucsd-progsys/liquidhaskell
http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/about/
The code lives on github at
https://github.com/ucsd-progsys/liquidhaskell
Language
English
Privacy
Anyone on the web
can see group
Group members
can view members
Anyone on the web
can view conversations
Group members
can post
Anyone on the web
can ask to join group