edwinb/Vars

A small library for tracking mutable state in Idris programs

语言：TeX · GitHub 星标：12 · Fork：1

在 GitHub 上查看原仓库