mirror of
https://github.com/anoma/juvix.git
synced 2024-12-12 04:43:18 +03:00
15 lines
270 B
Plaintext
15 lines
270 B
Plaintext
|
{-# format: false #-}
|
||
|
|
module FormatPragma;
|
||
|
|
|
||
|
|
open import Stdlib.Prelude;
|
||
|
|
|
||
|
|
-- Bam, bam!
|
||
|
|
|
||
|
|
-- unformatted module
|
||
|
|
|
||
|
|
fun : {A B C D : Type} -> (A -> A) -> (B -> C -> D) -> (A -> B -> C) -> (D -> C -> C) -> A -> B -> C;
|
||
|
|
fun f g h i a b :=
|
||
|
|
i
|
||
|
|
(g b (h (f a) b))
|
||
|
|
(h a b);
|