agda-helium.agda-lib - yellowsquid/helium.git - [no description]

summary refs log tree commit diff

path: root/agda-helium.agda-lib

blob: bec951d48e8345d111154b2e862132a81693bddd (plain)

1
2
3

name: agda-helium-0.1
depend: standard-library-1.7.1
include: src