add LICENSE
fix, using bwd 2.2.0
using `bwd`
Warning This is an early and experiemental project, it might likely contain bugs
This is an algebraic data type experiment, the project refines type with variant head, for example:
data Int where
zero : Int[zero]
pos : Int[pos, zero] -> Int[pos]
neg : Int[neg, zero] -> Int[neg]