GitHub - jplloyd/xiphi: Simple dependently typed language with partial constraint-based type checker · GitHub

Name		Name	Last commit message	Last commit date
examples		examples
.gitignore		.gitignore
CheckHub.hs		CheckHub.hs
Core.hs		Core.hs
DList.hs		DList.hs
Derivation.hs		Derivation.hs
ElabSpec.hs		ElabSpec.hs
Elaboration.hs		Elaboration.hs
Internal.hs		Internal.hs
LatexPrint.hs		LatexPrint.hs
ScopeChecking.hs		ScopeChecking.hs
Surface.hs		Surface.hs
Types.hs		Types.hs
Util.hs		Util.hs

About

Simple dependently typed language with partial constraint-based type checker

2 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages