Viewing profile — repetae

repetae

HN member

No profile information was provided.

comment
Comment #10824803
NuPRL hasn't been actively developed in 30 years and was only ever of interest to small group of people working on proof assistants and pure type theory, not industrial users. Liqu…

Sat, Jan 02, 2016, 3:19 AM UTC
story
A Practical Introduction to Haskell GADTs by Richard Eisenberg
Wed, Dec 30, 2015, 5:53 PM UTC
story
Compile-time memory safety using Liquid Haskell
Wed, Dec 30, 2015, 2:30 PM UTC
story
Ling – High level system programming [32c3]
Tue, Dec 29, 2015, 5:37 PM UTC
story
Lazy Evaluation Illustrated [pdf]
Tue, Dec 22, 2015, 3:43 PM UTC
story
Dependently typed API servers in Haskell
Fri, Dec 18, 2015, 2:08 AM UTC
comment
Comment #9676909
The guy obviously has some rather ugly views, but as far as I can tell he submitted a conference about his technology and unless there's some other evidence that he's not able to s…

Mon, Jun 08, 2015, 12:52 AM UTC