Sign inSign up

parfunc/verified-instances

By parfunc

•Updated over 7 years ago

LiquidHaskell docker image for verified-instances.

Image
1

327

parfunc/verified-instances repository overview

⁠verified-instances

Verified typeclasses using LiquidHaskell⁠

⁠Build Status
  • Travis: Build Status

Tag summary

Content type

Image

Digest

Size

1.6 GB

Last updated

over 7 years ago

docker pull parfunc/verified-instances