Hacker GitHub

← All repos

larrytheliquid/Lemmachine

View on GitHub ↗ ★ 135 Haskell

REST'ful web framework in Agda

3 mentions on Hacker News by 3 people: 2 stories, 1 comment · first 2010-09-02 · latest 2013-03-22

Mentions per year 3 mentions · busiest year 2010 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …constrain a function to only accept lists of a given length in a way that can be type-checked. 1: https://github.com/larrytheliquid/Lemmachine
    comment by bjterry · 2013-03-22 · in Why Ruby?
  2. ▲ 1
    Lemmachine - A web framework in Agda
    story by jefffoster · 2010-09-02 · 1 comment
  3. ▲ 1
    Lemmachine: a web framework in Agda
    story by amock · 2010-09-02 · 0 comments