Put A Type On It: Idris Type Provider for AWS Resources

Aae878e0b108379a60ca627ee262befa?s=47 Susan Potter
September 16, 2016

Put A Type On It: Idris Type Provider for AWS Resources

Presented at StrangeLoop on September 16, 2016.

Aae878e0b108379a60ca627ee262befa?s=128

Susan Potter

September 16, 2016
Tweet