git.iko.soy/Idris-dev
on 385dcbf help sign in
Idris-dev/test/dsl001/expected
14 lines 849 B history raw
124
212
3testFac : Int
4testFac = PE_interp_9b251b28 [] (PE_fromInteger_d6648df 4)
5PE_interp_9b251b28 : Env G -> Int -> Int
6PE_interp_9b251b28 (3arg) = \x =>
7 ifThenElse (PE_==_ba2f651f x
8 (PE_fromInteger_d6648df 0))
9 (Delay (PE_fromInteger_d6648df 1))
10 (Delay (PE_*_ba2f651f (PE_interp_9b251b28 (x ::
11 (3arg))
12 (PE_-_ba2f651f x
13 (PE_fromInteger_d6648df 1)))
14 x))