Functional Programming in Lean (leanprover.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of leanprover.github.io: Functional Programming in Lean

First screen, captured 3 years ago.

Looks similar

Screenshot of docs.python.org: Functional Python Programming

Functional Python Programming (docs.python.org)

87 points by meatjuice 3 years ago | 79 comments

Screenshot of cs3110.github.io: OCaml Programming: Correct and Efficient and Beautiful

OCaml Programming: Correct and Efficient and Beautiful (cs3110.github.io)

106 points by smartmic 1 year ago | 34 comments

Screenshot of blog.janissary.xyz: The Functional Programming Hiring Problem

The Functional Programming Hiring Problem (blog.janissary.xyz)

64 points by _peeley 2 years ago | 70 comments

Screenshot of desislav.dev: Functional Programming with TypeScript's Type System

Functional Programming with TypeScript's Type System (desislav.dev)

74 points by evolveyourmind 3 years ago | 30 comments

Screenshot of rust-lang.github.io: MdBook – a command line tool to create books with Markdown

MdBook – a command line tool to create books with Markdown (rust-lang.github.io)

168 points by peter_d_sherman 1 year ago | 57 comments

Screenshot of cs.nott.ac.uk: Advanced Functional Programming Free Course

Advanced Functional Programming Free Course (cs.nott.ac.uk)

25 points by agomez314 2 years ago | 4 comments