Skip to content
This repository has been archived by the owner on Jun 20, 2022. It is now read-only.
/ lisy Public archive

📘 | Simple type system repl the paper Typing Haskell in Haskell

License

Notifications You must be signed in to change notification settings

aripiprazole/lisy

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

54 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Lisy

Simple repl with Hindley-Milner type system implementing the paper Typing Haskell in Haskell.

Lisy> id a = a
()
Lisy> show (id '')
show (id '') : Show ([Char]) => [Char]

Features

  • Kinds in types
  • Adhoc polymorphism
  • W Algorithm type inference

About

📘 | Simple type system repl the paper Typing Haskell in Haskell

Topics

Resources

License

Stars

Watchers

Forks