Giters
bogwonch
/
SecPAL
The SecPAL authorization logic ported to Haskell
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
3
Issues:
4
Forks:
bogwonch/SecPAL Issues
Nonterminating Evaluation
Closed
7 years ago
Comments count
1
Incorrect answers on odd.spp ?
Closed
7 years ago
Comments count
1
Refactor equality definition to run under IO monad
Closed
10 years ago
Comments count
1
Equality should account for the symmetricity of the and statement.
Updated
10 years ago
Comments count
1