# How to write Right Program

**Repository Path**: charlize/how-to-write-right-program

## Basic Information

- **Project Name**: How to write Right Program
- **Description**: Slides: 如何使用函数式和静态类型语言保证程序的正确性。
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2026-01-28
- **Last Updated**: 2026-02-03

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Type Theory Presentation

Marp-powered slide deck exploring type theory foundations and their application in modern programming languages.

## Install & Start Slides Server

```bash
npm install
npm run serve
```

## Export to HTML/PDF

```bash
npm run export
```