https://github.com/Helium4Haskell/lvm
Revision 023f763ffb012137a5b686f4d760b8d5030a2554 authored by Ivo Gabe de Wolff on 06 March 2019, 07:32:34 UTC, committed by Ivo Gabe de Wolff on 06 March 2019, 07:32:34 UTC
1 parent 0b8a7fc
Tip revision: 023f763ffb012137a5b686f4d760b8d5030a2554 authored by Ivo Gabe de Wolff on 06 March 2019, 07:32:34 UTC
Add Forall expression
Add Forall expression
Tip revision: 023f763
File | Mode | Size |
---|---|---|
src | ||
test | ||
.gitignore | -rw-r--r-- | 40 bytes |
README.md | -rw-r--r-- | 1.6 KB |
Computing file changes ...