https://github.com/Helium4Haskell/lvm
Revision f096b8fb0226f0aa3d6db93ea083119c4c3739c9 authored by Mias van Klei on 04 May 2020, 09:45:58 UTC, committed by Mias van Klei on 04 May 2020, 09:45:58 UTC
1 parent 1ce6807
Tip revision: f096b8fb0226f0aa3d6db93ea083119c4c3739c9 authored by Mias van Klei on 04 May 2020, 09:45:58 UTC
LVM.Core.Type/Expr: Move kind in (T)Forall to Quantor. This simplifies parsing and really states what the type of the quantor is
LVM.Core.Type/Expr: Move kind in (T)Forall to Quantor. This simplifies parsing and really states what the type of the quantor is
Tip revision: f096b8f
File | Mode | Size |
---|---|---|
src | ||
test | ||
.gitignore | -rw-r--r-- | 40 bytes |
README.md | -rw-r--r-- | 1.6 KB |
Computing file changes ...