Submissions from thma.github.io

		Implementing a functional language with graph reduction (2021) (thma.github.io)
		52 points by Bogdanp 59 days ago \| past \| 5 comments
		Implementing a Functional Language with Graph Reduction (thma.github.io)
		3 points by runeks on Dec 29, 2021 \| past
		Implementing a Functional Language with Graph Reduction (thma.github.io)
		11 points by isaac21259 on Dec 27, 2021 \| past
		Lambda the Ultimate Pattern Factory (2018) (thma.github.io)
		3 points by coolgeek on Feb 13, 2021 \| past \| 1 comment
		Fuzz me wrong – How QuickCheck destroyed my favourite theory (thma.github.io)
		126 points by lrngjcb on Feb 12, 2021 \| past \| 57 comments
		Fuzzing me wrong – How QuickCheck destroyed my favourite theory (thma.github.io)
		1 point by lelf on Feb 2, 2021 \| past