PureScript

自從上次練習 VAT 驗證後，就再也沒碰過 PureScript 。最近好想用支援 ADT 的語言，撿回來學看看 XD

- source

module Prelude
  ( module Data.Void
  ) where

import Data.Void (Void, absurd)

caasih.net