v0.7.0
What's Changed
- Add the Oath website: landing, live corpus playground, docs by @miclip in #26
- Brand consistently as Oath Language / Oath Lang by @miclip in #27
- Point metadataBase at oath-lang.org by @miclip in #28
- Website: a three-voice Essays section by @miclip in #31
- #32: stdlib first bite — filter, foldr, foldl (proven core combinators) by @miclip in #39
- #32: stdlib batch 2 — reverse-onto, flatten, all, any (proven) by @miclip in #40
- Website: embossed-leather emblem as the hero by @miclip in #41
- #32: stdlib batch 3 — snoc, find, last, init (proven) by @miclip in #42
- #32: stdlib batch 4 — product, maximum, minimum (proven aggregates) by @miclip in #43
- #32: stdlib batch 5 — take-while, drop-while, count-matching (proven) by @miclip in #44
- #32: stdlib batch 6 — Pair type + zip / zip-with (proven) by @miclip in #45
- #32: stdlib batch 7 — Option combinators (map-option, flat-map-option, is-some, is-none) by @miclip in #46
- #32: stdlib batch 8 — Result type + map-result / map-err / unwrap-or (proven) by @miclip in #47
- #33 B1: generics via dictionary passing — Ord/Eq dicts, generic sort, all proven by @miclip in #48
- #29: attempt validity — no verdict without positive telemetry by @miclip in #49
- #50: fail the futile direct attempt fast on inductive-eligible goals by @miclip in #52
- #53: try each goal lemma-free first — relevant lemmas were strangling provable goals by @miclip in #54
- #34: live playground — the real kernel (and Z3) in the browser by @miclip in #55
- Structural strings: Str becomes a datatype, string primitives deleted by @miclip in #59
- #37: canonical Map/Set — order-independent identity by @miclip in #60
- #13: native-string representation for structural Str in oath build by @miclip in #61
- #13: differential test + docs/website for the compiler backend by @miclip in #62
- Arbitrary-precision Int (ℤ) — close the overflow caveat by @miclip in #63
New Contributors
Full Changelog: https://github.com/miclip/oath-lang/commits/v0.7.0
Contributors
miclip