GitHub repository: tchoutri/acl
Primary language: Haskell
Created: 2025-04-10T14:53:41Z
Description: Haskell model of Zanzibar