Hacker GitHub

← All repos

seliopou/typo

View on GitHub ↗ ★ 256 Haskell

A programming language that runs in Haskell's type system.

9 mentions on Hacker News by 4 people: 2 stories, 7 comments · first 2013-08-07 · latest 2025-05-10

Mentions per year 9 mentions · busiest year 2014 (4)
20082026
AllStoriesComments NewestTopOldest
  1. …think that's an accident. https://stackoverflow.com/questions/42356242/how-can-undecid... Also see. https://github.com/seliopou/typo
    comment by fc417fc802 · 2025-05-10 · in Prolog's Eternal September (2017)
  2. …implemented in Haskell's type system that I wrote a couple years ago. Computation is everywhere! https://github.com/seliopou/typo
    comment by seliopou · 2015-09-16 · in Lisp implementation in sed
  3. …are the same. Disclosure of shameless plug: I'm the author of typo. Previously on HN[1]. [0]: https://github.com/seliopou/typo [1]: https://news.ycombinator.com/item?id=6175272
    comment by seliopou · 2014-10-13 · in Fun with Dependent Types in Haskell
  4. …modern machines can spare an extra process. [0]: https://news.ycombinator.com/item?id=6176340 [1]: https://github.com/seliopou/typo/pull/4 [2]: https://github.com/seliopou/typo/blob/cc64ec38603a50c6543b38...
    comment by seliopou · 2014-08-04 · in Look at the humongous type that Hindley-Milner infers for this tiny program
  5. …it to lambda calculus (shameless plug)). [0]: http://www.cis.upenn.edu/~bcpierce/attapl/ [1]: https://github.com/seliopou/typo
    comment by seliopou · 2014-08-04 · in Look at the humongous type that Hindley-Milner infers for this tiny program
  6. …as a viable candidate language. [0]: http://www.cs.brown.edu/research/plt/dl/adsafety/v1/ [1]: https://github.com/seliopou/typo [2]: https://github.com/frenetic-lang/frenetic [3]: https://realworldocaml.org/v1/en/html/variants.html#polymorp…
    comment by seliopou · 2014-07-16 · in Why We Use OCaml
  7. …punchline to a seven-year-old joke[1] about implementing RSA in Haskell's type system, which I did: https://github.com/seliopou/typo/blob/master/examples/rsa.typo Hopefully I'll have the time next week to write a blog post explaining how…
    comment by seliopou · 2013-08-07 · in Typo: A programming language that runs in Haskell's type system