Type Theory

Repositories

5

Projects Packages

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

typed-lambda

Haskell 0 0

An interpreter and compiler for simply typed lambda calculus!

Updated 2023-06-15 18:02:35 +02:00

resolution

Haskell 0 0

Resolution on first-order logic

Updated 2023-06-11 17:11:22 +02:00

type-inference

Haskell 0 0

Implementation of the Hindley-Milner Algorithm but for STLC instead of System F

Updated 2023-06-11 14:25:28 +02:00

PCF

Haskell 0 0

A PCF-evaluator and typechecker

Updated 2023-06-01 12:27:52 +02:00

lambda

Haskell 0 0

A small lambda calculus interpreter

Updated 2023-04-17 09:08:58 +02:00