bts/sound-and-complete
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
HaskellGPL-3.0
No issues in this repository yet.
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
HaskellGPL-3.0
No issues in this repository yet.