Skip to content
This repository has been archived by the owner on Sep 17, 2022. It is now read-only.

Switch out recursion schemes encoding of Type for regular ADT #72

Merged
merged 8 commits into from
Mar 23, 2022

Commits on Mar 21, 2022

  1. Configuration menu
    Copy the full SHA
    3d40f79 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    9105b2e View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2022

  1. Configuration menu
    Copy the full SHA
    2b873fd View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2022

  1. Type fixes

    DamianReeves committed Mar 23, 2022
    Configuration menu
    Copy the full SHA
    01e64ee View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    13a74e9 View commit details
    Browse the repository at this point in the history
  3. Fix errors

    DamianReeves committed Mar 23, 2022
    Configuration menu
    Copy the full SHA
    d7905d6 View commit details
    Browse the repository at this point in the history
  4. Remove simple warnings

    DamianReeves committed Mar 23, 2022
    Configuration menu
    Copy the full SHA
    5ea0c72 View commit details
    Browse the repository at this point in the history
  5. Fix formatting

    DamianReeves committed Mar 23, 2022
    Configuration menu
    Copy the full SHA
    9a6622c View commit details
    Browse the repository at this point in the history