occ_typing

main branch1 version

github.com/jemc/crystal-occtyping

A Crystal port of occtyping algorithm (for learning purposes)

0 stars

0 dependents

License: MIT

Installation

# Add this to your shard.yml
dependencies:
  occ_typing:
    github: jemc/crystal-occtyping
    branch: main

main is a branch, not a release, so this tracks it rather than pinning a version.

Then run:

shards install

This version declares no dependencies.

This is a Crystal port of occtyping, written only for the purposes of learning how it works in detail.

TODO: Documentation