Skip to main content

Quick actions

cmd+k|ctrl+k

Search actions and languages

Navigation

Languages

Dependent type example

Snippet info

Language

Idris

Visibility

public

Author

mindbound

Created

2016-12-08T01:10:48Z

Updated

2016-12-08T01:11:20Z

123456789

module Main

item : (b : Bool) -> if b then Nat else List Nat

item True = 42

item False = [1, 2, 3]

main : IO ()

main = putStrLn $ show $ item False

module Main

item : (b : Bool) -> if b then Nat else List Nat
item True = 42
item False = [1, 2, 3]

main : IO ()
main = putStrLn $ show $ item False

Idris

INFO

Home Public snippets Account Contact Privacy