🎯
Focusing
Stars
5
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
A static website compiler library in Haskell
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版