#

typechecking

Here are 2 public repositories matching this topic...

wjrforcyber / SystemT

👨‍💻 Implementing System T in Haskell 👨‍💻

language programming-language benchmark haskell system test semantics lambda-calculus type typechecking

Updated Nov 25, 2024
Haskell

QiaoranChelsea / PTCL

A type checking language for Prolog

prolog typechecking

Updated Jun 13, 2018
Haskell

Improve this page

Add a description, image, and links to the typechecking topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the typechecking topic, visit your repo's landing page and select "manage topics."