welltyped

Collection of Dependently-typed stuff

Usage no npm install needed!

<script type="module">
  import welltyped from 'https://cdn.skypack.dev/welltyped';
</script>

Collection of Dependently-typed stuff