notes/pl/config/dhall/prelude.txt

зеркало из https://github.com/iharh/notes.git synced 2025-10-30 05:06:05 +02:00
https://store.dhall-lang.org/Prelude-v21.0.0/
https://github.com/dhall-lang/dhall-lang/tree/master/Prelude
	`https://store.dhall-lang.org/Prelude-v21.0.0/`
	`https://github.com/dhall-lang/dhall-lang/tree/master/Prelude`