@sugarsbn
SugarSBN 暂无简介
MindQuantum is a general software library supporting the development of applications for quantum computation.
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
