Identi.ca Identi.ca
  • Login

  • Public

    • Public
    • Groups
    • Featured
    • Popular

Iain Lane (laney)'s status on Monday, 02-Apr-12 17:01:19 UTC

  1. Iain Lane Iain Lane

    Note to self: Haskell uses (:). Agda uses (::). Please give me the last 10 minutes back.

    about a year ago from web at Nottingham, England, United Kingdom
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

Identi.ca is a microblogging service brought to you by E14N. It runs the StatusNet microblogging software, version 1.1.0-release, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Identi.ca content and data are available under the Creative Commons Attribution 3.0 license.

Switch to mobile site layout.

Built in Montreal