Lib.rs

›
#hydra #notation #analysis #ordinal #n-ary

hydra-nary

n-ary hydra notation for ordinal analysis

Owned by SasakiSaki.

1 unstable release

0.0.0 Aug 22, 2023

#6 in #hydra

MPL-2.0 license

16KB
182 lines

Title

Dependencies

~180KB