Geeks
simongregersen
/
DepSec
A library for static information-flow control in Idris
Primary Language
Idris
MIT License
MIT
DepSec GitHub
Markdown
Readme
0
Issues
9
Stargazers
1
Watcher
Watchers
simongregersen
New York University