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

summary refs log tree commit diff

path: root/agda-helium.agda-lib

blob: 91efa04b920519368646caa0358e2978a0021675 (plain)

1
2
3

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