Skip to content
This repository has been archived by the owner on Oct 18, 2021. It is now read-only.

History

Revisions

  • the first few things

    @tacoberu tacoberu committed Mar 14, 2021
    9b3de8e

  • draft about GADTs

    @tacoberu tacoberu committed Mar 14, 2021
    e01089f

  • Initial Home page

    @SquidDev SquidDev committed Mar 14, 2021
    d03660c