这是我在爱荷华大学编程语言概念课程的代码库。大多数...
This is my code repository for my Programming Language Concepts course at the University of Iowa. The majority of this repository is written in Agda. (2017-04-25, Haskell, 34529KB, 下载0次)
可编程逻辑控制器
Atividades básicas de PLC (2019-10-18, Haskell, 1KB, 下载0次)
我在CIn-UFPE学习编程模型（范式）的课程。
My lessons or whatever to discipline Programming Models (paradigms) at CIn - UFPE. (2018-05-03, Haskell, 15KB, 下载0次)
基于SQL的Haskell自定义编程语言
Custom Programming Language written in Haskell based on SQL (2021-07-28, Haskell, 4KB, 下载0次)
IMDEA软件编程语言俱乐部
IMDEA Software Programming Languages Club (2017-02-07, Haskell, 8KB, 下载0次)
这个repo是为我们在Haskell的CS:3820（编程语言概念）的最后一个项目准备的
This repo is for our final project in Haskell for CS:3820 (Programming Language Concepts) (2017-12-09, Haskell, 668KB, 下载0次)