GitHub repository: JordanMartinez/purescript-language-purescript
Primary language: PureScript
Created: 2023-08-30T23:41:04Z
Description: Types and codecs for the PureScript programming language written in PureScript