Prims.idr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

module Prims

x : Int
x = 42

foo : String
foo = "Sausage machine"

bar : Char
bar = 'Z'

quux : Bool
quux = False