我的论文“关系编程的小逻辑语言”的项目文件，
Project files for my paper, "Little Logic Languages for Relational Programming", (2020-02-18, Racket, 0KB, 下载0次)
索非亚大学FMI 2020-21学年“函数编程”课程知识库
Repository for the "Functional Programming" course at FMI of Sofia University for the academic year 2020-21 (2021-02-17, Racket, 1619KB, 下载0次)