Tags · haskell-implementations/uhc

This repository was archived by the owner on Nov 1, 2018. It is now read-only.

v1.1.9.6

Version 1.1.9.6

Version 1.1.9.5

Version 1.1.9.4

Version 1.1.9.3

Last version with variant 7_2 dealing with strictness annotation

Last version with variant 4_2 dealing 2-pass higher impredicativity a…

…nalysis

Last version with TyCore stuff

Last version with whole program Grin stuff

CHR repr based on existentially quantified constraints works with uhc…

…-util

CoreRun backend running works now with/without Core whole program lin…

…king

PreviousNext