GitHub - Infinity-Type-Cafe/chat_history_format: ∞-type Café 暑期学校会议聊天记录格式化脚本

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
images		images
README		README
WASI-component-model-chat.txt		WASI-component-model-chat.txt
a-bit-sht-1.txt		a-bit-sht-1.txt
a-bit-sht-2-chat.txt		a-bit-sht-2-chat.txt
agda-1-chat-history.md		agda-1-chat-history.md
agda-3-chat.txt		agda-3-chat.txt
agda-zorn-chat.txt		agda-zorn-chat.txt
agda2-chat.txt		agda2-chat.txt
cat-1-chat.txt		cat-1-chat.txt
cat-2-chat.txt		cat-2-chat.txt
cat-semantics-chat.txt		cat-semantics-chat.txt
coq-lean-coc-1-chat.txt		coq-lean-coc-1-chat.txt
cutt-1-chat.txt		cutt-1-chat.txt
cutt-2-chat.txt		cutt-2-chat.txt
cutt-3-chat.txt		cutt-3-chat.txt
dependent-type-1.txt		dependent-type-1.txt
dt-js-chat.txt		dt-js-chat.txt
hott-1-chat.txt		hott-1-chat.txt
hott-2-chat.txt		hott-2-chat.txt
main.py		main.py
mltt-chat.txt		mltt-chat.txt
pai1s1-chat.txt		pai1s1-chat.txt
stlc-chat-history.txt		stlc-chat-history.txt
syn-math-chat.txt		syn-math-chat.txt

Repository files navigation

+-----------------------------------------+
| ∞-type Café 暑期学校会议聊天记录格式化脚本 |
+-----------------------------------------+

o- USAGE
    python3 main.py [input] [output]

o- DEMO
    查看 ./stlc-chat-history 和 demo.txt