blob: 8074bdf5890077f2602b61032e04aae5f5200f85 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
-- MIT License, Copyright (c) 2024 Marvin Borner
module Language.Mili.Reducer
( nf
) where
import Data.Mili ( Nat(..)
, Term(..)
)
-- | Reduce term to normal form
nf :: Term -> Term
nf t = t
|
