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
```