prozacchiwawa@someodd haskell's base type system is pretty expressive even without liquid haskell. sandy maguire's book "thinking in types" really opened my eyes to what kind of computation was achievable at the normal type level in haskell.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.