Submissions from haskellforall.com

		Dependent if expressions without dependent types (haskellforall.com)
		2 points by birdculture 10 days ago \| past \| discuss
		Dependent if expressions without dependent types (haskellforall.com)
		4 points by g0xA52A2A 11 days ago \| past \| discuss
		Mechanized type inference for record concatenation (haskellforall.com)
		2 points by birdculture 66 days ago \| past
		Mechanized type inference for record concatenation as in Nix (haskellforall.com)
		3 points by fanf2 67 days ago \| past
		Mechanized type inference for record concatenation (haskellforall.com)
		4 points by g0xA52A2A 68 days ago \| past
		Record Type Inference for Dummies (haskellforall.com)
		3 points by fanf2 80 days ago \| past
		Record Type Inference for Dummies (haskellforall.com)
		3 points by birdculture 81 days ago \| past
		Record type inference for dummies (haskellforall.com)
		80 points by g0xA52A2A 82 days ago \| past \| 8 comments
		Ergonomic Overrides for Nixpkgs (haskellforall.com)
		5 points by birdculture 3 months ago \| past
		Type Out the Code (haskellforall.com)
		20 points by theanonymousone 3 months ago \| past \| 1 comment
		A bidirectional typechecking puzzle in the Grace programming language (haskellforall.com)
		5 points by fanf2 4 months ago \| past
		A Bidirectional Typechecking Puzzle (haskellforall.com)
		3 points by g0xA52A2A 4 months ago \| past
		Prefer do notation over Applicative operators when assembling records (2024) (haskellforall.com)
		54 points by wazHFsRy 5 months ago \| past \| 14 comments
		A sufficiently detailed spec is code (haskellforall.com)
		652 points by signa11 5 months ago \| past \| 334 comments
		A sufficiently detailed spec is code (haskellforall.com)
		13 points by dokdev 5 months ago \| past \| 3 comments
		A sufficiently detailed spec is code (haskellforall.com)
		12 points by Gabriel439 6 months ago \| past
		Browse Code by Meaning (haskellforall.com)
		26 points by cl3misch 6 months ago \| past \| 2 comments
		Browse Code by Meaning (haskellforall.com)
		13 points by romac 6 months ago \| past \| 1 comment
		Browse Code by Meaning (haskellforall.com)
		5 points by todsacerdoti 6 months ago \| past \| 3 comments
		Beyond agentic coding (haskellforall.com)
		269 points by RebelPotato 7 months ago \| past \| 90 comments
		Beyond Agentic Coding (haskellforall.com)
		5 points by todsacerdoti 7 months ago \| past
		My Experience with Vibe Coding (haskellforall.com)
		8 points by todsacerdoti 7 months ago \| past \| 3 comments
		Type-Safe Eval in Grace (haskellforall.com)
		5 points by todsacerdoti 7 months ago \| past
		Chat is the least interesting interface to LLMs (haskellforall.com)
		4 points by sebg 8 months ago \| past
		Chat is the least interesting interface to LLMs (haskellforall.com)
		7 points by todsacerdoti 8 months ago \| past
		Prompting 101: Show, don't tell (haskellforall.com)
		9 points by birdculture 8 months ago \| past
		Prompting 101: Show, don't tell (haskellforall.com)
		7 points by todsacerdoti 8 months ago \| past
		Nix Steering Committee vote of no confidence (haskellforall.com)
		11 points by Bogdanp 11 months ago \| past \| 5 comments
		Unification-free ("keyword") type checking (haskellforall.com)
		3 points by fanf2 11 months ago \| past
		Steering Committee Retrospective (haskellforall.com)
		3 points by Athas 12 months ago \| past
		More