morte-1.0.0: Bare-bones calculus of constructions

Safe HaskellNone
LanguageHaskell98

Morte

Description

This module is the recommended entry point for morte, exporting all functions from this library's public interface

If you are new to morte, read Morte.Tutorial to learn more about the motivation behind this library and how to use morte.

Synopsis

Documentation

Morte.Core contains the core calculus for the library.

Use Morte.Parser to parse Morte expressions from Text.

Read Morte.Tutorial to learn how to use this library.

module Morte.Core