leesongun/SuperCombinatorics - Change ROKTK7EK6FGN2NR6EC74O534SCDB3JMANXVSZSO6ADFCCZTT5EKAC

add SUSY degree

Created by leesongun on March 8, 2023

ROKTK7EK6FGN2NR6EC74O534SCDB3JMANXVSZSO6ADFCCZTT5EKAC

Dependencies

[2] A3W3U5BHND4V54KWVKN4LU5J43UPCFPA2KR7QXCG5IWZIM442MLQC

In channels

main

Change contents

File addition: Data (d--x------)
[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