stelleg

module Expr
import Data.Vect
import Data.Fin

data Expr : Nat -> Type where
  Var : Fin n -> Expr n
  Lam : Expr (S n) -> Expr n
  App : Expr n -> Expr n -> Expr n

data Closure : Type where

stelleg

import Control.Monad

lorem = "Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Donec \
\ hendrerit tempor tellus. Donec pretium posuere tellus. Proin quam \
\ nisl, tincidunt et, mattis eget, convallis nec, purus. Cum sociis \
\ natoque penatibus et magnis dis parturient montes, nascetur ridiculus \
\ mus. Nulla posuere. Donec vitae dolor. Nullam tristique diam non  \
\ turpis. Cras placerat accumsan nulla. Nullam rutrum. Nam vestibulum  \
\ accumsan nisl. \n"