fragilelambda / txmonad
A toy xmonad
☆31Updated 4 years ago
Alternatives and similar repositories for txmonad:
Users that are interested in txmonad are comparing it to the libraries listed below
- 这是Haskell函数式 编程入门第2版的源码☆82Updated 6 years ago
- ☆40Updated 3 years ago
- https://openpal.github.io/TypeAndProof/☆100Updated 7 years ago
- IO lib for haskell☆99Updated 7 months ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆209Updated this week
- array, slices and text☆70Updated 6 months ago
- home page☆76Updated 2 years ago
- Cicada Language (solo version)☆128Updated 3 weeks ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Updated 13 years ago
- My slides and notes☆137Updated last year
- Books on programming language theory and linguistics in general.☆53Updated 3 years ago
- A modern functional programming language with effect system.☆19Updated 8 months ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆116Updated 4 years ago
- ☆16Updated 4 years ago
- 十分钟魔法练习 in OCaml☆33Updated 2 years ago
- 魔力haskell官方网站☆294Updated 5 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆20Updated 2 years ago
- Some Code from my Grad School Courses☆107Updated 13 years ago
- 用作文档目的，翻译方式见 Issue #10☆41Updated 5 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆23Updated last month
- ☆25Updated 8 years ago
- CN MonaD.ReadeR Reading Group☆108Updated 8 years ago
- ☆32Updated 5 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆43Updated last year
- History of type theory (Chinese).☆327Updated 2 weeks ago
- 编译原理相关的工作岗位收集☆85Updated 6 years ago
- Auto generate a stack or cabal multi component hie.yaml file☆206Updated 10 months ago
- A collection of PLT researching☆29Updated last year