add SUSY degree

leesongun

Mar 9, 2023, 2:40 AM

ROKTK7EK6FGN2NR6EC74O534SCDB3JMANXVSZSO6ADFCCZTT5EKAC

Dependencies

• [2] A3W3U5BH

Change contents

• file addition: Data (d--r------)
  [2.1]
• file addition: SUSY.idr (----------)
  [0.16]
  + module Data.SUSY

  +

  + public export

  + data Deg = Boson | Fermion

  +

  + export

  + (+): Deg -> Deg -> Deg

  + (+) Boson y = y

  + (+) Fermion Boson = Fermion

  + (+) Fermion Fermion = Boson