Löb and Möb: Loops in Haskell (2013) (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Löb and Möb: Loops in Haskell (2013)

First screen, captured 11 months ago.

Looks similar

Screenshot of github.com: Escher's art and computer science

Escher's art and computer science (github.com)

53 points by signa11 1 year ago | 9 comments

Screenshot of github.com: Show HN: B-IR – An LLM-optimized programming language

Show HN: B-IR – An LLM-optimized programming language (github.com)

55 points by ImJasonH 9 months ago | 37 comments

Screenshot of github.com: Luon programming language

Luon programming language (github.com)

196 points by thunderbong 1 year ago | 96 comments

Screenshot of github.com: Coccinelle: Source-to-source transformation tool

Coccinelle: Source-to-source transformation tool (github.com)

110 points by anon111332142 8 months ago | 30 comments

Screenshot of github.com: NJVL: Nim's New Intermediate Representation

NJVL: Nim's New Intermediate Representation (github.com)

57 points by generichuman 1 year ago | 8 comments

Screenshot of github.com: Understanding LucasArts' iMUSE System

Understanding LucasArts' iMUSE System (github.com)

147 points by todsacerdoti 1 year ago | 29 comments