Revision - 62e9c57 - don't generate equations for data-constructors

Revision 62e9c579fb8cbe7c13b1f969eca4de4ec3984102 authored by Ranjit Jhala on 12 February 2019, 04:04:53 UTC, committed by Ranjit Jhala on 12 February 2019, 04:04:53 UTC

don't generate equations for data-constructors

1 parent 43076c4

Files
Changes

Permalinks

File	Mode	Size
Fixpoint.hs	-rw-r--r--	1018 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...