Katydid.lean

import Katydid.Std.BEq
import Katydid.Std.Ordering
import Katydid.Std.Decidable
import Katydid.Std.OrderingThunk
import Katydid.Std.Nat
import Katydid.Std.Lists
import Katydid.Std.Ltac
import Katydid.Std.Balistic
import Katydid.Std.NonEmptyList

import Katydid.Example.SimpLibrary

import Katydid.Regex.Language
import Katydid.Regex.SimpleRegex
import Katydid.Regex.IndexedRegex
import Katydid.Regex.SmartRegex

import Katydid.Expr.Desc