chrysanthemum - A blossoming types system. simple types + subtyping + typeclasses

index : chrysanthemum

A blossoming types system. simple types + subtyping + typeclasses

git daemon user

summary refs log tree commit diff

Mode	Name	Size
-rw-r--r--	index.html	26236	log plain blame
d---------	lib	274	log plain

generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-11-24 00:11:37 +0000