Bestrafer - GADTs made simple

Bestrafer - functional programming language utilizing a novel approach to GADTs proposed by Joshua Dunfield and Neelakantan R. Krishnaswami in the article "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types"

Name		Name	Last commit message	Last commit date
Latest commit History 222 Commits
examples		examples
thesis		thesis
.gitignore		.gitignore
AST.hs		AST.hs
ASTBuilder.hs		ASTBuilder.hs
ASTConstantFold.hs		ASTConstantFold.hs
Bestrafer.hs		Bestrafer.hs
BuiltinFunctions.hs		BuiltinFunctions.hs
CommonUtils.hs		CommonUtils.hs
Eval.hs		Eval.hs
EvalUtils.hs		EvalUtils.hs
Parser.hs		Parser.hs
Typechecker.hs		Typechecker.hs
TypecheckerUtils.hs		TypecheckerUtils.hs
readme.md		readme.md
stdlib.br		stdlib.br
test_Typechecker.hs		test_Typechecker.hs

konrad-wer/Bestrafer

Folders and files

Latest commit

History

Repository files navigation

Bestrafer - GADTs made simple

About

Resources

Stars

Watchers

Forks

Languages