Submissions from github.com/stefan-hoeck

		Functional Programming in Idris 2 (github.com/stefan-hoeck)
		3 points by nerdponx on Jan 13, 2024 \| past \| 1 comment
		Single Page Web Applications in Idris (github.com/stefan-hoeck)
		4 points by ska80 on July 19, 2023 \| past \| 1 comment
		Functional Programming in Idris 2 (github.com/stefan-hoeck)
		3 points by todsacerdoti on Jan 13, 2022 \| past