Snapkitty
/

sov-kernel-monster

sovereign-compute

formal-verification

Model card Files Files and versions

sov-kernel-monster / haskell /test_listcomp.hs

SNAPKITTYWEST's picture

chore: push full sov-kernel-monster content from local build

9425aed verified 4 days ago

History Blame Contribute Delete

107 Bytes

	module Main where

	test :: [Int]
	test =
	let x = 5
	in [ i
	\| i <- [0..x-1]
	]

	main = return ()