running-grass / idris2-tutorial-zh
通过weblate翻译idris2教程
☆11Updated last month
Related projects ⓘ
Alternatives and complementary repositories for idris2-tutorial-zh
- Elaboration with inductive types☆16Updated last year
- ☆22Updated 9 months ago
- 豫言☆27Updated 3 weeks ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆25Updated 3 months ago
- Learn Lean 4 with PLFA proofs.☆50Updated 6 months ago
- ShiTT is a toy proof assistant (almost).☆28Updated last week
- ☆12Updated 2 weeks ago
- RUst way for Reuse Analysis☆13Updated 7 months ago
- Yet another Rust algebraic effect library using generators☆11Updated 5 months ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆20Updated 2 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Updated last year
- Typst blog template based on Zola, typst.ts, and apollo.☆27Updated 2 months ago
- 十分钟魔法练习 in OCaml☆33Updated 2 years ago
- A toy xmonad☆31Updated 4 years ago
- Parser Combinator ver. Rust☆15Updated 4 years ago
- lens implemented in rust☆111Updated last year
- ☆40Updated 2 weeks ago
- P523 Course in Rust☆59Updated 2 years ago
- A modern functional programming language with effect system.☆19Updated 7 months ago
- ntype cafe summer school resources☆137Updated 5 months ago
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆53Updated 7 months ago
- Lean 函数式编程☆26Updated 3 months ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- ☆196Updated 3 months ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆116Updated 4 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆209Updated this week
- History of type theory (Chinese).☆320Updated last year
- A transpiler that converts TeX into Unicode (as possible).☆18Updated 2 weeks ago
- Exploring the "expression problem" in Rust☆46Updated 2 years ago
- Versatile parser for arithmetic expressions☆9Updated last week