├── .fmc └── U8.new.fmc ├── .fml ├── Acc.fml ├── Acc.foldl.fml ├── Acc.foldr.fml ├── Acc.foldr.go.fml ├── Arelin.Game.map_stage.fml ├── Arelin.exec_turn.fml ├── Bool.andVar.fml ├── Bool.orVar.fml ├── CURVE.Gx.fml ├── CURVE.Gy.fml ├── CURVE.P.fml ├── CURVE.a.fml ├── CURVE.b.fml ├── CURVE.beta.fml ├── CURVE.h.fml ├── CURVE.n.fml ├── Concat.empty.fml ├── Concat.fml ├── Concat.push.fml ├── Concat.to_list.fml ├── F64.V3.circle_boundary_intersects.fml ├── F64.V3.point_segment_sqrdist.fml ├── F64.eql.fml ├── Function.uncurry.fml ├── Int.0.fml ├── Int.1.fml ├── Int.add.fml ├── Int.cmp.fml ├── Int.div_Nat.fml ├── Int.fml ├── Int.fromNat.fml ├── Int.mod_Nat.fml ├── Int.mul.fml ├── Int.neg.fml ├── Int.new.fml ├── Int.parse_decimal.fml ├── Int.parse_hex.fml ├── Int.parse_hex_safe.fml ├── Int.sub.fml ├── Int.toNat.fml ├── Int.to_string_decimal.fml ├── Jacobian.0.fml ├── Jacobian.add.fml ├── Jacobian.base.fml ├── Jacobian.base.mul.fml ├── Jacobian.base.precomputes.fml ├── Jacobian.base.window_size.fml ├── Jacobian.double.fml ├── Jacobian.equal.fml ├── Jacobian.fml ├── Jacobian.from_point.fml ├── Jacobian.mul.fml ├── Jacobian.mul_unsafe.fml ├── Jacobian.mul_unsafe_aux.fml ├── Jacobian.negate.fml ├── Jacobian.new.fml ├── Jacobian.normalizeZ.fml ├── Jacobian.precompute_window.aux.fml ├── Jacobian.precompute_window.fml ├── Jacobian.to_point.aux.fml ├── Jacobian.to_point.fml ├── Jacobian.to_pointBatch.aux.fml ├── Jacobian.to_pointBatch.fml ├── Jacobian.wNAF.aux.fml ├── Jacobian.wNAF.fml ├── List.span.fml ├── List.split_at.fml ├── Map.lookup.fml ├── Nat.addAcc.fml ├── Nat.addVar.fml ├── Nat.add_x_0.fml ├── Nat.add_x_succ_y.fml ├── Nat.bitwise_and.fml ├── Nat.egcd.aux.fml ├── Nat.egcd.fml ├── Nat.min.fml ├── Nat.mulAcc.fml ├── Nat.mulVar.fml ├── Nat.odd.fml ├── Nat.parse_hex.fml ├── Nat.parse_hex_safe.fml ├── Nat.parse_hex_safe.go.fml ├── Nat.pow.fml ├── Nat.square.fml ├── Nat.sub.fml ├── Parser.take.fml ├── Parser.take_while.fml ├── Parser.take_while1.fml ├── Parser.tokens.fml ├── Point.base.fml ├── Point.base.mul.fml ├── Point.fml ├── Point.from_compressed_hex.fml ├── Point.from_uncompressed_hex.fml ├── Point.mul_unsafe.fml ├── Point.new.fml ├── Point.to_bytes.fml ├── Point.valid_point.fml ├── QRS.fml ├── QRS.from_k.fml ├── QRS.new.fml ├── SignResult.fml ├── SignResult.from_hex.fml ├── SignResult.new.fml ├── SignResult.to_hex.fml ├── String.concatVar.fml ├── String.span.fml ├── String.split_at.fml ├── String.take_n.aux.fml ├── String.take_n.fml ├── U16.add.fml ├── U16.and.fml ├── U16.concat.fml ├── U16.div.fml ├── U16.eql.fml ├── U16.gte.fml ├── U16.gtn.fml ├── U16.inc.fml ├── U16.lte.fml ├── U16.ltn.fml ├── U16.mod.fml ├── U16.mul.fml ├── U16.or.fml ├── U16.pow.fml ├── U16.shl.fml ├── U16.shr.fml ├── U16.sub.fml ├── U16.to_bits.fml ├── U16.to_nat.fml ├── U16.xor.fml ├── U32.add.fml ├── U32.and.fml ├── U32.concat.fml ├── U32.div.fml ├── U32.eql.fml ├── U32.gte.fml ├── U32.gtn.fml ├── U32.hash2.fml ├── U32.inc.fml ├── U32.lte.fml ├── U32.ltn.fml ├── U32.mod.fml ├── U32.mul.fml ├── U32.or.fml ├── U32.pow.fml ├── U32.shl.fml ├── U32.shr.fml ├── U32.sub.fml ├── U32.to_bits.fml ├── U32.to_nat.fml ├── U32.xor.fml ├── U64.add.fml ├── U64.and.fml ├── U64.div.fml ├── U64.eql.fml ├── U64.gte.fml ├── U64.gtn.fml ├── U64.inc.fml ├── U64.lte.fml ├── U64.ltn.fml ├── U64.mod.fml ├── U64.mul.fml ├── U64.or.fml ├── U64.pow.fml ├── U64.shl.fml ├── U64.shr.fml ├── U64.sub.fml ├── U64.to_bits.fml ├── U64.to_nat.fml ├── U64.xor.fml ├── U8.add.fml ├── U8.and.fml ├── U8.concat.fml ├── U8.div.fml ├── U8.eql.fml ├── U8.fml ├── U8.from_nat.fml ├── U8.gte.fml ├── U8.gtn.fml ├── U8.inc.fml ├── U8.lte.fml ├── U8.ltn.fml ├── U8.mod.fml ├── U8.mul.fml ├── U8.new.fml ├── U8.or.fml ├── U8.parse_hex.fml ├── U8.pow.fml ├── U8.shl.fml ├── U8.shr.fml ├── U8.sub.fml ├── U8.to_bits.fml ├── U8.to_nat.fml ├── U8.xor.fml ├── U8_Vector.from_nat.aux.fml ├── U8_Vector.from_nat.fml ├── U8_Vector.to_hex.fml ├── U8_Vector.to_number.aux.fml ├── U8_Vector.to_number.fml ├── UFind.find.fml ├── Variadic.fml ├── Variadic.foldl.fml ├── Variadic.foldr.fml ├── Variadic.foldr.go.fml ├── Vector.concat.fml ├── Vector.ext.fml ├── Vector.extract.fml ├── Vector.fml ├── Vector.len_0_is_nil.fml ├── Vector.reverse.aux.fml ├── Vector.reverse.fml ├── Vector.split_at.fml ├── Word.neg.aux.fml ├── Word.neg.fml ├── Word.sub.fml ├── ecdsa.PRIME_SIZE.fml ├── ecdsa.USE_ENDOMORPHISM.fml ├── ecdsa.invert.fml ├── ecdsa.invertBatch.aux1.fml ├── ecdsa.invertBatch.aux2.fml ├── ecdsa.invertBatch.fml ├── ecdsa.is_valid_private_key.fml ├── ecdsa.mod.fml ├── ecdsa.negate.fml ├── ecdsa.number_to_hex.fml ├── ecdsa.parse_byte.fml ├── ecdsa.pow_mod.aux.fml ├── ecdsa.pow_mod.fml ├── ecdsa.size.fml ├── ecdsa.split_scalar.fml ├── ecdsa.sqrt.fml ├── ecdsa.sub.fml ├── ecdsa.truncateHash.fml ├── ecdsa.weierstrass.fml ├── ecdsa.window.fml └── query.fml ├── .gitattributes ├── .github └── workflows │ └── type-check.yml ├── .gitignore ├── Acc.fm ├── App.fm ├── Arelin.fm ├── Array.fm ├── Bit.fm ├── Bits.fm ├── Bool.fm ├── Buffer32.fm ├── Char.fm ├── Cmp.fm ├── Debug.fm ├── Docs.fm ├── ECDSA.fm ├── Either.fm ├── Empty.fm ├── Equal.fm ├── Export.fm ├── F64.fm ├── Function.fm ├── Functor.fm ├── IO.fm ├── Int.fm ├── JSON.fm ├── List.fm ├── Logic.fm ├── Map.fm ├── Maybe.fm ├── Module.fm ├── Monad.fm ├── Nat.fm ├── Newtype.fm ├── NonEmpty.fm ├── Pair.fm ├── Parser.fm ├── README.md ├── Set.fm ├── Show.fm ├── Sigma.fm ├── String.fm ├── Subset.fm ├── Text.fm ├── The.fm ├── U16.fm ├── U32.fm ├── U64.fm ├── U8.fm ├── UFind.fm ├── UNode.fm ├── Unit.fm ├── Variadic.fm ├── Vector.fm └── Word.fm /.fmc/U8.new.fmc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fmc/U8.new.fmc -------------------------------------------------------------------------------- /.fml/Acc.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Acc.fml -------------------------------------------------------------------------------- /.fml/Acc.foldl.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Acc.foldl.fml -------------------------------------------------------------------------------- /.fml/Acc.foldr.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Acc.foldr.fml -------------------------------------------------------------------------------- /.fml/Acc.foldr.go.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Acc.foldr.go.fml -------------------------------------------------------------------------------- /.fml/Arelin.Game.map_stage.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Arelin.Game.map_stage.fml -------------------------------------------------------------------------------- /.fml/Arelin.exec_turn.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Arelin.exec_turn.fml -------------------------------------------------------------------------------- /.fml/Bool.andVar.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Bool.andVar.fml -------------------------------------------------------------------------------- /.fml/Bool.orVar.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Bool.orVar.fml -------------------------------------------------------------------------------- /.fml/CURVE.Gx.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/CURVE.Gx.fml -------------------------------------------------------------------------------- /.fml/CURVE.Gy.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/CURVE.Gy.fml -------------------------------------------------------------------------------- /.fml/CURVE.P.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/CURVE.P.fml -------------------------------------------------------------------------------- /.fml/CURVE.a.fml: -------------------------------------------------------------------------------- 1 | CURVE.a: Nat 2 | 0 3 | 4 | -------------------------------------------------------------------------------- /.fml/CURVE.b.fml: -------------------------------------------------------------------------------- 1 | CURVE.b: Nat 2 | 7 3 | 4 | -------------------------------------------------------------------------------- /.fml/CURVE.beta.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/CURVE.beta.fml -------------------------------------------------------------------------------- /.fml/CURVE.h.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/CURVE.h.fml -------------------------------------------------------------------------------- /.fml/CURVE.n.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/CURVE.n.fml -------------------------------------------------------------------------------- /.fml/Concat.empty.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Concat.empty.fml -------------------------------------------------------------------------------- /.fml/Concat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Concat.fml -------------------------------------------------------------------------------- /.fml/Concat.push.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Concat.push.fml -------------------------------------------------------------------------------- /.fml/Concat.to_list.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Concat.to_list.fml -------------------------------------------------------------------------------- /.fml/F64.V3.circle_boundary_intersects.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/F64.V3.circle_boundary_intersects.fml -------------------------------------------------------------------------------- /.fml/F64.V3.point_segment_sqrdist.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/F64.V3.point_segment_sqrdist.fml -------------------------------------------------------------------------------- /.fml/F64.eql.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/F64.eql.fml -------------------------------------------------------------------------------- /.fml/Function.uncurry.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Function.uncurry.fml -------------------------------------------------------------------------------- /.fml/Int.0.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.0.fml -------------------------------------------------------------------------------- /.fml/Int.1.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.1.fml -------------------------------------------------------------------------------- /.fml/Int.add.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.add.fml -------------------------------------------------------------------------------- /.fml/Int.cmp.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.cmp.fml -------------------------------------------------------------------------------- /.fml/Int.div_Nat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.div_Nat.fml -------------------------------------------------------------------------------- /.fml/Int.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.fml -------------------------------------------------------------------------------- /.fml/Int.fromNat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.fromNat.fml -------------------------------------------------------------------------------- /.fml/Int.mod_Nat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.mod_Nat.fml -------------------------------------------------------------------------------- /.fml/Int.mul.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.mul.fml -------------------------------------------------------------------------------- /.fml/Int.neg.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.neg.fml -------------------------------------------------------------------------------- /.fml/Int.new.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.new.fml -------------------------------------------------------------------------------- /.fml/Int.parse_decimal.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.parse_decimal.fml -------------------------------------------------------------------------------- /.fml/Int.parse_hex.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.parse_hex.fml -------------------------------------------------------------------------------- /.fml/Int.parse_hex_safe.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.parse_hex_safe.fml -------------------------------------------------------------------------------- /.fml/Int.sub.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.sub.fml -------------------------------------------------------------------------------- /.fml/Int.toNat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.toNat.fml -------------------------------------------------------------------------------- /.fml/Int.to_string_decimal.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Int.to_string_decimal.fml -------------------------------------------------------------------------------- /.fml/Jacobian.0.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.0.fml -------------------------------------------------------------------------------- /.fml/Jacobian.add.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.add.fml -------------------------------------------------------------------------------- /.fml/Jacobian.base.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.base.fml -------------------------------------------------------------------------------- /.fml/Jacobian.base.mul.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.base.mul.fml -------------------------------------------------------------------------------- /.fml/Jacobian.base.precomputes.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.base.precomputes.fml -------------------------------------------------------------------------------- /.fml/Jacobian.base.window_size.fml: -------------------------------------------------------------------------------- 1 | Jacobian.base.window_size: Nat 2 | 8 3 | 4 | -------------------------------------------------------------------------------- /.fml/Jacobian.double.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.double.fml -------------------------------------------------------------------------------- /.fml/Jacobian.equal.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.equal.fml -------------------------------------------------------------------------------- /.fml/Jacobian.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.fml -------------------------------------------------------------------------------- /.fml/Jacobian.from_point.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.from_point.fml -------------------------------------------------------------------------------- /.fml/Jacobian.mul.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.mul.fml -------------------------------------------------------------------------------- /.fml/Jacobian.mul_unsafe.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.mul_unsafe.fml -------------------------------------------------------------------------------- /.fml/Jacobian.mul_unsafe_aux.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.mul_unsafe_aux.fml -------------------------------------------------------------------------------- /.fml/Jacobian.negate.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.negate.fml -------------------------------------------------------------------------------- /.fml/Jacobian.new.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.new.fml -------------------------------------------------------------------------------- /.fml/Jacobian.normalizeZ.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.normalizeZ.fml -------------------------------------------------------------------------------- /.fml/Jacobian.precompute_window.aux.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.precompute_window.aux.fml -------------------------------------------------------------------------------- /.fml/Jacobian.precompute_window.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.precompute_window.fml -------------------------------------------------------------------------------- /.fml/Jacobian.to_point.aux.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.to_point.aux.fml -------------------------------------------------------------------------------- /.fml/Jacobian.to_point.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.to_point.fml -------------------------------------------------------------------------------- /.fml/Jacobian.to_pointBatch.aux.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.to_pointBatch.aux.fml -------------------------------------------------------------------------------- /.fml/Jacobian.to_pointBatch.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.to_pointBatch.fml -------------------------------------------------------------------------------- /.fml/Jacobian.wNAF.aux.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.wNAF.aux.fml -------------------------------------------------------------------------------- /.fml/Jacobian.wNAF.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Jacobian.wNAF.fml -------------------------------------------------------------------------------- /.fml/List.span.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/List.span.fml -------------------------------------------------------------------------------- /.fml/List.split_at.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/List.split_at.fml -------------------------------------------------------------------------------- /.fml/Map.lookup.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Map.lookup.fml -------------------------------------------------------------------------------- /.fml/Nat.addAcc.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.addAcc.fml -------------------------------------------------------------------------------- /.fml/Nat.addVar.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.addVar.fml -------------------------------------------------------------------------------- /.fml/Nat.add_x_0.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.add_x_0.fml -------------------------------------------------------------------------------- /.fml/Nat.add_x_succ_y.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.add_x_succ_y.fml -------------------------------------------------------------------------------- /.fml/Nat.bitwise_and.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.bitwise_and.fml -------------------------------------------------------------------------------- /.fml/Nat.egcd.aux.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.egcd.aux.fml -------------------------------------------------------------------------------- /.fml/Nat.egcd.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.egcd.fml -------------------------------------------------------------------------------- /.fml/Nat.min.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.min.fml -------------------------------------------------------------------------------- /.fml/Nat.mulAcc.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.mulAcc.fml -------------------------------------------------------------------------------- /.fml/Nat.mulVar.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.mulVar.fml -------------------------------------------------------------------------------- /.fml/Nat.odd.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.odd.fml -------------------------------------------------------------------------------- /.fml/Nat.parse_hex.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.parse_hex.fml -------------------------------------------------------------------------------- /.fml/Nat.parse_hex_safe.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.parse_hex_safe.fml -------------------------------------------------------------------------------- /.fml/Nat.parse_hex_safe.go.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.parse_hex_safe.go.fml -------------------------------------------------------------------------------- /.fml/Nat.pow.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.pow.fml -------------------------------------------------------------------------------- /.fml/Nat.square.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.square.fml -------------------------------------------------------------------------------- /.fml/Nat.sub.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Nat.sub.fml -------------------------------------------------------------------------------- /.fml/Parser.take.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Parser.take.fml -------------------------------------------------------------------------------- /.fml/Parser.take_while.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Parser.take_while.fml -------------------------------------------------------------------------------- /.fml/Parser.take_while1.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Parser.take_while1.fml -------------------------------------------------------------------------------- /.fml/Parser.tokens.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Parser.tokens.fml -------------------------------------------------------------------------------- /.fml/Point.base.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Point.base.fml -------------------------------------------------------------------------------- /.fml/Point.base.mul.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Point.base.mul.fml -------------------------------------------------------------------------------- /.fml/Point.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Point.fml -------------------------------------------------------------------------------- /.fml/Point.from_compressed_hex.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Point.from_compressed_hex.fml -------------------------------------------------------------------------------- /.fml/Point.from_uncompressed_hex.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Point.from_uncompressed_hex.fml -------------------------------------------------------------------------------- /.fml/Point.mul_unsafe.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Point.mul_unsafe.fml -------------------------------------------------------------------------------- /.fml/Point.new.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Point.new.fml -------------------------------------------------------------------------------- /.fml/Point.to_bytes.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Point.to_bytes.fml -------------------------------------------------------------------------------- /.fml/Point.valid_point.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Point.valid_point.fml -------------------------------------------------------------------------------- /.fml/QRS.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/QRS.fml -------------------------------------------------------------------------------- /.fml/QRS.from_k.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/QRS.from_k.fml -------------------------------------------------------------------------------- /.fml/QRS.new.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/QRS.new.fml -------------------------------------------------------------------------------- /.fml/SignResult.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/SignResult.fml -------------------------------------------------------------------------------- /.fml/SignResult.from_hex.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/SignResult.from_hex.fml -------------------------------------------------------------------------------- /.fml/SignResult.new.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/SignResult.new.fml -------------------------------------------------------------------------------- /.fml/SignResult.to_hex.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/SignResult.to_hex.fml -------------------------------------------------------------------------------- /.fml/String.concatVar.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/String.concatVar.fml -------------------------------------------------------------------------------- /.fml/String.span.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/String.span.fml -------------------------------------------------------------------------------- /.fml/String.split_at.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/String.split_at.fml -------------------------------------------------------------------------------- /.fml/String.take_n.aux.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/String.take_n.aux.fml -------------------------------------------------------------------------------- /.fml/String.take_n.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/String.take_n.fml -------------------------------------------------------------------------------- /.fml/U16.add.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.add.fml -------------------------------------------------------------------------------- /.fml/U16.and.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.and.fml -------------------------------------------------------------------------------- /.fml/U16.concat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.concat.fml -------------------------------------------------------------------------------- /.fml/U16.div.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.div.fml -------------------------------------------------------------------------------- /.fml/U16.eql.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.eql.fml -------------------------------------------------------------------------------- /.fml/U16.gte.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.gte.fml -------------------------------------------------------------------------------- /.fml/U16.gtn.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.gtn.fml -------------------------------------------------------------------------------- /.fml/U16.inc.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.inc.fml -------------------------------------------------------------------------------- /.fml/U16.lte.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.lte.fml -------------------------------------------------------------------------------- /.fml/U16.ltn.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.ltn.fml -------------------------------------------------------------------------------- /.fml/U16.mod.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.mod.fml -------------------------------------------------------------------------------- /.fml/U16.mul.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.mul.fml -------------------------------------------------------------------------------- /.fml/U16.or.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.or.fml -------------------------------------------------------------------------------- /.fml/U16.pow.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.pow.fml -------------------------------------------------------------------------------- /.fml/U16.shl.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.shl.fml -------------------------------------------------------------------------------- /.fml/U16.shr.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.shr.fml -------------------------------------------------------------------------------- /.fml/U16.sub.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.sub.fml -------------------------------------------------------------------------------- /.fml/U16.to_bits.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.to_bits.fml -------------------------------------------------------------------------------- /.fml/U16.to_nat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.to_nat.fml -------------------------------------------------------------------------------- /.fml/U16.xor.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U16.xor.fml -------------------------------------------------------------------------------- /.fml/U32.add.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.add.fml -------------------------------------------------------------------------------- /.fml/U32.and.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.and.fml -------------------------------------------------------------------------------- /.fml/U32.concat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.concat.fml -------------------------------------------------------------------------------- /.fml/U32.div.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.div.fml -------------------------------------------------------------------------------- /.fml/U32.eql.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.eql.fml -------------------------------------------------------------------------------- /.fml/U32.gte.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.gte.fml -------------------------------------------------------------------------------- /.fml/U32.gtn.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.gtn.fml -------------------------------------------------------------------------------- /.fml/U32.hash2.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.hash2.fml -------------------------------------------------------------------------------- /.fml/U32.inc.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.inc.fml -------------------------------------------------------------------------------- /.fml/U32.lte.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.lte.fml -------------------------------------------------------------------------------- /.fml/U32.ltn.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.ltn.fml -------------------------------------------------------------------------------- /.fml/U32.mod.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.mod.fml -------------------------------------------------------------------------------- /.fml/U32.mul.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.mul.fml -------------------------------------------------------------------------------- /.fml/U32.or.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.or.fml -------------------------------------------------------------------------------- /.fml/U32.pow.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.pow.fml -------------------------------------------------------------------------------- /.fml/U32.shl.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.shl.fml -------------------------------------------------------------------------------- /.fml/U32.shr.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.shr.fml -------------------------------------------------------------------------------- /.fml/U32.sub.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.sub.fml -------------------------------------------------------------------------------- /.fml/U32.to_bits.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.to_bits.fml -------------------------------------------------------------------------------- /.fml/U32.to_nat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.to_nat.fml -------------------------------------------------------------------------------- /.fml/U32.xor.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U32.xor.fml -------------------------------------------------------------------------------- /.fml/U64.add.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.add.fml -------------------------------------------------------------------------------- /.fml/U64.and.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.and.fml -------------------------------------------------------------------------------- /.fml/U64.div.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.div.fml -------------------------------------------------------------------------------- /.fml/U64.eql.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.eql.fml -------------------------------------------------------------------------------- /.fml/U64.gte.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.gte.fml -------------------------------------------------------------------------------- /.fml/U64.gtn.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.gtn.fml -------------------------------------------------------------------------------- /.fml/U64.inc.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.inc.fml -------------------------------------------------------------------------------- /.fml/U64.lte.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.lte.fml -------------------------------------------------------------------------------- /.fml/U64.ltn.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.ltn.fml -------------------------------------------------------------------------------- /.fml/U64.mod.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.mod.fml -------------------------------------------------------------------------------- /.fml/U64.mul.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.mul.fml -------------------------------------------------------------------------------- /.fml/U64.or.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.or.fml -------------------------------------------------------------------------------- /.fml/U64.pow.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.pow.fml -------------------------------------------------------------------------------- /.fml/U64.shl.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.shl.fml -------------------------------------------------------------------------------- /.fml/U64.shr.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.shr.fml -------------------------------------------------------------------------------- /.fml/U64.sub.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.sub.fml -------------------------------------------------------------------------------- /.fml/U64.to_bits.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.to_bits.fml -------------------------------------------------------------------------------- /.fml/U64.to_nat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.to_nat.fml -------------------------------------------------------------------------------- /.fml/U64.xor.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U64.xor.fml -------------------------------------------------------------------------------- /.fml/U8.add.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.add.fml -------------------------------------------------------------------------------- /.fml/U8.and.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.and.fml -------------------------------------------------------------------------------- /.fml/U8.concat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.concat.fml -------------------------------------------------------------------------------- /.fml/U8.div.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.div.fml -------------------------------------------------------------------------------- /.fml/U8.eql.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.eql.fml -------------------------------------------------------------------------------- /.fml/U8.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.fml -------------------------------------------------------------------------------- /.fml/U8.from_nat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.from_nat.fml -------------------------------------------------------------------------------- /.fml/U8.gte.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.gte.fml -------------------------------------------------------------------------------- /.fml/U8.gtn.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.gtn.fml -------------------------------------------------------------------------------- /.fml/U8.inc.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.inc.fml -------------------------------------------------------------------------------- /.fml/U8.lte.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.lte.fml -------------------------------------------------------------------------------- /.fml/U8.ltn.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.ltn.fml -------------------------------------------------------------------------------- /.fml/U8.mod.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.mod.fml -------------------------------------------------------------------------------- /.fml/U8.mul.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.mul.fml -------------------------------------------------------------------------------- /.fml/U8.new.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.new.fml -------------------------------------------------------------------------------- /.fml/U8.or.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.or.fml -------------------------------------------------------------------------------- /.fml/U8.parse_hex.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.parse_hex.fml -------------------------------------------------------------------------------- /.fml/U8.pow.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.pow.fml -------------------------------------------------------------------------------- /.fml/U8.shl.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.shl.fml -------------------------------------------------------------------------------- /.fml/U8.shr.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.shr.fml -------------------------------------------------------------------------------- /.fml/U8.sub.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.sub.fml -------------------------------------------------------------------------------- /.fml/U8.to_bits.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.to_bits.fml -------------------------------------------------------------------------------- /.fml/U8.to_nat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.to_nat.fml -------------------------------------------------------------------------------- /.fml/U8.xor.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8.xor.fml -------------------------------------------------------------------------------- /.fml/U8_Vector.from_nat.aux.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8_Vector.from_nat.aux.fml -------------------------------------------------------------------------------- /.fml/U8_Vector.from_nat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8_Vector.from_nat.fml -------------------------------------------------------------------------------- /.fml/U8_Vector.to_hex.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8_Vector.to_hex.fml -------------------------------------------------------------------------------- /.fml/U8_Vector.to_number.aux.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8_Vector.to_number.aux.fml -------------------------------------------------------------------------------- /.fml/U8_Vector.to_number.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/U8_Vector.to_number.fml -------------------------------------------------------------------------------- /.fml/UFind.find.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/UFind.find.fml -------------------------------------------------------------------------------- /.fml/Variadic.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Variadic.fml -------------------------------------------------------------------------------- /.fml/Variadic.foldl.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Variadic.foldl.fml -------------------------------------------------------------------------------- /.fml/Variadic.foldr.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Variadic.foldr.fml -------------------------------------------------------------------------------- /.fml/Variadic.foldr.go.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Variadic.foldr.go.fml -------------------------------------------------------------------------------- /.fml/Vector.concat.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Vector.concat.fml -------------------------------------------------------------------------------- /.fml/Vector.ext.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Vector.ext.fml -------------------------------------------------------------------------------- /.fml/Vector.extract.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Vector.extract.fml -------------------------------------------------------------------------------- /.fml/Vector.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Vector.fml -------------------------------------------------------------------------------- /.fml/Vector.len_0_is_nil.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Vector.len_0_is_nil.fml -------------------------------------------------------------------------------- /.fml/Vector.reverse.aux.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Vector.reverse.aux.fml -------------------------------------------------------------------------------- /.fml/Vector.reverse.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Vector.reverse.fml -------------------------------------------------------------------------------- /.fml/Vector.split_at.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Vector.split_at.fml -------------------------------------------------------------------------------- /.fml/Word.neg.aux.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Word.neg.aux.fml -------------------------------------------------------------------------------- /.fml/Word.neg.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Word.neg.fml -------------------------------------------------------------------------------- /.fml/Word.sub.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/Word.sub.fml -------------------------------------------------------------------------------- /.fml/ecdsa.PRIME_SIZE.fml: -------------------------------------------------------------------------------- 1 | ecdsa.PRIME_SIZE: Nat 2 | 256 3 | 4 | -------------------------------------------------------------------------------- /.fml/ecdsa.USE_ENDOMORPHISM.fml: -------------------------------------------------------------------------------- 1 | ecdsa.USE_ENDOMORPHISM: Bool 2 | Nat.eql(CURVE.a)(0) 3 | 4 | -------------------------------------------------------------------------------- /.fml/ecdsa.invert.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.invert.fml -------------------------------------------------------------------------------- /.fml/ecdsa.invertBatch.aux1.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.invertBatch.aux1.fml -------------------------------------------------------------------------------- /.fml/ecdsa.invertBatch.aux2.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.invertBatch.aux2.fml -------------------------------------------------------------------------------- /.fml/ecdsa.invertBatch.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.invertBatch.fml -------------------------------------------------------------------------------- /.fml/ecdsa.is_valid_private_key.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.is_valid_private_key.fml -------------------------------------------------------------------------------- /.fml/ecdsa.mod.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.mod.fml -------------------------------------------------------------------------------- /.fml/ecdsa.negate.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.negate.fml -------------------------------------------------------------------------------- /.fml/ecdsa.number_to_hex.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.number_to_hex.fml -------------------------------------------------------------------------------- /.fml/ecdsa.parse_byte.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.parse_byte.fml -------------------------------------------------------------------------------- /.fml/ecdsa.pow_mod.aux.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.pow_mod.aux.fml -------------------------------------------------------------------------------- /.fml/ecdsa.pow_mod.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.pow_mod.fml -------------------------------------------------------------------------------- /.fml/ecdsa.size.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.size.fml -------------------------------------------------------------------------------- /.fml/ecdsa.split_scalar.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.split_scalar.fml -------------------------------------------------------------------------------- /.fml/ecdsa.sqrt.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.sqrt.fml -------------------------------------------------------------------------------- /.fml/ecdsa.sub.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.sub.fml -------------------------------------------------------------------------------- /.fml/ecdsa.truncateHash.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.truncateHash.fml -------------------------------------------------------------------------------- /.fml/ecdsa.weierstrass.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.weierstrass.fml -------------------------------------------------------------------------------- /.fml/ecdsa.window.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/ecdsa.window.fml -------------------------------------------------------------------------------- /.fml/query.fml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.fml/query.fml -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/type-check.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/.github/workflows/type-check.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store -------------------------------------------------------------------------------- /Acc.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Acc.fm -------------------------------------------------------------------------------- /App.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/App.fm -------------------------------------------------------------------------------- /Arelin.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Arelin.fm -------------------------------------------------------------------------------- /Array.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Array.fm -------------------------------------------------------------------------------- /Bit.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Bit.fm -------------------------------------------------------------------------------- /Bits.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Bits.fm -------------------------------------------------------------------------------- /Bool.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Bool.fm -------------------------------------------------------------------------------- /Buffer32.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Buffer32.fm -------------------------------------------------------------------------------- /Char.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Char.fm -------------------------------------------------------------------------------- /Cmp.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Cmp.fm -------------------------------------------------------------------------------- /Debug.fm: -------------------------------------------------------------------------------- 1 | Debug.log (s: String, x: Unit -> A): A 2 | x(Unit.new) 3 | 4 | -------------------------------------------------------------------------------- /Docs.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Docs.fm -------------------------------------------------------------------------------- /ECDSA.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/ECDSA.fm -------------------------------------------------------------------------------- /Either.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Either.fm -------------------------------------------------------------------------------- /Empty.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Empty.fm -------------------------------------------------------------------------------- /Equal.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Equal.fm -------------------------------------------------------------------------------- /Export.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Export.fm -------------------------------------------------------------------------------- /F64.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/F64.fm -------------------------------------------------------------------------------- /Function.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Function.fm -------------------------------------------------------------------------------- /Functor.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Functor.fm -------------------------------------------------------------------------------- /IO.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/IO.fm -------------------------------------------------------------------------------- /Int.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Int.fm -------------------------------------------------------------------------------- /JSON.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/JSON.fm -------------------------------------------------------------------------------- /List.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/List.fm -------------------------------------------------------------------------------- /Logic.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Logic.fm -------------------------------------------------------------------------------- /Map.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Map.fm -------------------------------------------------------------------------------- /Maybe.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Maybe.fm -------------------------------------------------------------------------------- /Module.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Module.fm -------------------------------------------------------------------------------- /Monad.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Monad.fm -------------------------------------------------------------------------------- /Nat.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Nat.fm -------------------------------------------------------------------------------- /Newtype.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Newtype.fm -------------------------------------------------------------------------------- /NonEmpty.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/NonEmpty.fm -------------------------------------------------------------------------------- /Pair.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Pair.fm -------------------------------------------------------------------------------- /Parser.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Parser.fm -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/README.md -------------------------------------------------------------------------------- /Set.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Set.fm -------------------------------------------------------------------------------- /Show.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Show.fm -------------------------------------------------------------------------------- /Sigma.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Sigma.fm -------------------------------------------------------------------------------- /String.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/String.fm -------------------------------------------------------------------------------- /Subset.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Subset.fm -------------------------------------------------------------------------------- /Text.fm: -------------------------------------------------------------------------------- 1 | Text: Type 2 | String 3 | 4 | -------------------------------------------------------------------------------- /The.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/The.fm -------------------------------------------------------------------------------- /U16.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/U16.fm -------------------------------------------------------------------------------- /U32.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/U32.fm -------------------------------------------------------------------------------- /U64.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/U64.fm -------------------------------------------------------------------------------- /U8.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/U8.fm -------------------------------------------------------------------------------- /UFind.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/UFind.fm -------------------------------------------------------------------------------- /UNode.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/UNode.fm -------------------------------------------------------------------------------- /Unit.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Unit.fm -------------------------------------------------------------------------------- /Variadic.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Variadic.fm -------------------------------------------------------------------------------- /Vector.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Vector.fm -------------------------------------------------------------------------------- /Word.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Moonad/HEAD/Word.fm --------------------------------------------------------------------------------