Giters
nikivazou
/
EquationalReasoningInLiquidHaskell
Derivation of Optimized Definitions Based on Specs
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
15
Watchers:
7
Issues:
5
Forks:
2
nikivazou/EquationalReasoningInLiquidHaskell Watchers
Joachim Breitner
nomeata
David Van Horn
dvanhorn
Niki Vazou
nikivazou
James Cloos
jhcloos
Rose Kunkel
rosekunkel
Scott Fleischman
scott-fleischman
Graham Hutton
GrahamHutton