Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

[v0.8.4]

Added

• Keelung.Syntax.Monad
  • Functions for requesting fresh varibles: freshVar, freshVarField, freshVarBool, and freshVarUInt.

Fixed

Removed

• Keelung.Syntax
  • Function uintToBool
  • Function fieldToBool