Skip to content

v0.7.1

Pre-release
Pre-release
Compare
Choose a tag to compare
@dcharkes dcharkes released this 18 Oct 08:47
· 183 commits to develop since this release
v0.7.1
f998385
  • JavaScript backend of IceDust, features the on-demand incremental calculation strategy, and can target plain javascript or a full html file
  • Formal development of IceDust expression language in Coq, with proofs of type- and multiplicity soundness
Assets 2
Loading