https://github.com/michallepicki/tibe

Ahnfelt's Type Inference by Example but implemented in Gleam
https://github.com/michallepicki/tibe

gleam type-inference typechecking types

Last synced: 5 months ago
JSON representation

Ahnfelt's Type Inference by Example but implemented in Gleam

• Host: GitHub
• URL: https://github.com/michallepicki/tibe
• Owner: michallepicki
• Created: 2022-06-25T07:59:24.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2023-07-28T10:43:51.000Z (almost 3 years ago)
• Last Synced: 2025-03-24T02:55:19.600Z (over 1 year ago)
• Topics: gleam, type-inference, typechecking, types
• Language: Gleam
• Homepage:
• Size: 47.9 KB
• Stars: 12
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# tibe

[Type Inference by Example](https://ahnfelt.medium.com/type-inference-by-example-793d83f98382) but implemented in Gleam.

```sh

gleam test  # Run the tests

```