swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Revision bf7edfee7fb688cd2fd62ab1dd6ff0683c1cabe5 authored by mkolosick on 06 July 2019, 00:40:25 UTC, committed by mkolosick on 06 July 2019, 07:05:04 UTC
RRTypes get flattened down as much as they can. RApp is parsed in similarly to parsing an unrefined base type, that is as an RRTy with refinement True of an RApp.
1 parent d88274d
Tip revision: f94b06de7edcb61d3c49f19417e53dc7dc21d552 authored by Anish Tondwalkar on 22 June 2021, 08:13:54 UTC
updated README
updated README
Tip revision: f94b06d
File | Mode | Size |
---|---|---|
bin | ||
lib | ||
liquid-fixpoint @ 843ee3e | ||
scripts | ||
tests | ||
.gitignore | -rw-r--r-- | 35 bytes |
.gitmodules | -rw-r--r-- | 105 bytes |
LICENSE | -rw-r--r-- | 1.0 KB |
README.md | -rw-r--r-- | 900 bytes |
Setup.hs | -rw-r--r-- | 46 bytes |
mist.cabal | -rw-r--r-- | 2.6 KB |
stack.yaml | -rw-r--r-- | 344 bytes |
Computing file changes ...