disco-lang/disco

Functional teaching language for use in a discrete mathematics course

语言：TeX · GitHub 星标：183 · Fork：27

话题：discrete-mathematics · functional-programming · programming-language · teaching

在 GitHub 上查看原仓库