Hacker GitHub

edwinb/idris-php

View on GitHub ↗ ★ 176 Haskell

Yes, really...

3 mentions on Hacker News by 3 people: 3 stories, 0 comments · first 2015-03-03 · latest 2018-08-27

Mentions per year 3 mentions · busiest year 2015 (2)

20082026

All Stories Comments Newest Top Oldest

▲ 3
Idris to PHP – Yes, really
story by hexhex · 2018-08-27 · 0 comments
▲ 3
Idris to PHP compiler
story by edofic · 2015-04-13 · 0 comments
▲ 2
A New Back End for Idris: PHP. “Yes, Really”
story by lenary · 2015-03-03 · 0 comments