Skip to content

Remove AI-generated artwork from the README and front page #9

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
omentic wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Remove AI-generated artwork from the README and front page #9

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 0 additions & 9 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,15 +4,6 @@ A cute collection of type checker implementations demonstrating modern type chec

[![CI](https://github.com/sdiehl/typechecker-zoo/actions/workflows/ci.yml/badge.svg)](https://github.com/sdiehl/typechecker-zoo/actions/workflows/ci.yml)

<div align="center">

| | |
|:---:|:---:|
| [<img src="./docs/src/lambda.png" width="128" height="auto"><br/>**Algorithm W**](./algorithm-w/src) | [<img src="./docs/src/ocaml.png" width="128" height="auto"><br/>**System F**](./system-f/src) |
| [<img src="./docs/src/haskell.png" width="128" height="auto"><br/>**System F-ω**](./system-f-omega/src) | [<img src="./docs/src/lean.png" width="128" height="auto"><br/>**Calculus of Constructions**](./coc/src) |

</div>

### Algorithm W

Robin Milner's classic Hindley-Milner type inference algorithm from *A Theory of Type Polymorphism in Programming*.
Expand Down
Binary file removed docs/src/haskell.png
View file
Open in desktop
Binary file not shown.
12 changes: 0 additions & 12 deletions docs/src/introduction.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,19 +13,13 @@ The examples are implemented in fairly idiomatic Rust with a full parser and tes
The four little critters we're going to build are:

<div class="type-system-section">
<a href="./foundations/lambda-calculus.html">
<img src="lambda.png" alt="Lambda calculus symbol" class="type-system-logo">
</a>

[**Algorithm W**](./foundations/lambda-calculus.html) *(775 lines of code)*

Robin Milner's classic Hindley-Milner type inference algorithm from *A Theory of Type Polymorphism in Programming*. A toy **polymorphic lambda calculus**.
</div>

<div class="type-system-section">
<a href="./implementations/system-f/system-f.html">
<img src="ocaml.png" alt="OCaml logo" class="type-system-logo">
</a>

[**System F**](./implementations/system-f/system-f.html) *(1090 lines of code)*

Expand All @@ -35,9 +29,6 @@ An implementation of DK algorithm from *Complete and Easy Bidirectional Typechec
</div>

<div class="type-system-section">
<a href="./implementations/system-f-omega/system-f-omega.html">
<img src="haskell.png" alt="Haskell logo" class="type-system-logo">
</a>

[**System F-ω**](./implementations/system-f-omega/system-f-omega.html) *(3196 lines of code)*

Expand All @@ -47,9 +38,6 @@ Uses the method of *A Mechanical Formalization of Higher-Ranked Polymorphic Type
</div>

<div class="type-system-section">
<a href="./implementations/coc/calculus-of-constructions.html">
<img src="lean.png" alt="Lean logo" class="type-system-logo">
</a>

[**Calculus of Constructions**](./implementations/coc/calculus-of-constructions.html) *(6000 lines of code)*

Expand Down
Binary file removed docs/src/lambda.png
View file
Open in desktop
Binary file not shown.
Binary file removed docs/src/lean.png
View file
Open in desktop
Binary file not shown.
Binary file removed docs/src/ocaml.png
View file
Open in desktop
Binary file not shown.