foveran icon indicating copy to clipboard operation
foveran copied to clipboard

Published 20 hours ago • verified publisher icon bobatkey
→

Metadata

A Dependently Typed Programming Language

Results 1 foveran issues
Sort by recently updated
recently updated
newest added

fix build with modern GHCs

I hope I've left it reasonably backwards compatible, but I bumped the dependency on base to >= GHC 7.10.1 to avoid CPP conditional nonsense

fredrikNordvallForsberg avatar fredrikNordvallForsberg

← Metadata

27
Stars
1
Forks
Watchers

Owner

verified publisher icon bobatkey

Metadata

A Dependently Typed Programming Language

Back