Totality and non-standard recursion in Idris (franklin.dyer.me) | HN Screenshots

YHacker Newsscreenshots

Screenshot of franklin.dyer.me: Totality and non-standard recursion in Idris

First screen, captured 2 years ago.

Looks similar

Screenshot of franklin.dyer.me: A Curried Composition Puzzle

A Curried Composition Puzzle (franklin.dyer.me)

83 points by 082349872349872 2 years ago | 11 comments

Screenshot of utcc.utoronto.ca: A peculiarity of the GNU Coreutils version of 'test' and '['

A peculiarity of the GNU Coreutils version of 'test' and '['(utcc.utoronto.ca)

71 points by ingve 2 years ago | 42 comments

Screenshot of franklin.dyer.me: Discovering copy-on-write in R

Discovering copy-on-write in R (franklin.dyer.me)

50 points by franklin_p_dyer 2 years ago | 20 comments

Screenshot of benedikt-stockebrand.de: Introduction to Rdist (2012)

Introduction to Rdist (2012)(benedikt-stockebrand.de)

17 points by networked 3 years ago | 0 comments

Screenshot of utcc.utoronto.ca: What is going on in Unix with errno's limited nature

What is going on in Unix with errno's limited nature (utcc.utoronto.ca)

61 points by ingve 1 year ago | 38 comments

Screenshot of utcc.utoronto.ca: Daemonization in Unix programs is probably about restarting programs

Daemonization in Unix programs is probably about restarting programs (utcc.utoronto.ca)

69 points by ingve 2 years ago | 40 comments