GitHub - arrow-kt/arrow-typeproofs: Playground for typeproofs and migration · GitHub

This repository was archived by the owner on Apr 22, 2025. It is now read-only.

Repository navigation

arrow-typeproofs

Public archive

About

Playground for typeproofs and migration

Custom properties

4 stars

13 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
gradle/wrapper		gradle/wrapper
src		src
.gitignore		.gitignore
README.md		README.md
build.gradle		build.gradle
gradle.properties		gradle.properties
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle		settings.gradle

Repository files navigation

Arrow Typeproofs Playground

Λrrow Typeproofs is part of Λrrow.

Playground for typeproofs and migration

About

Playground for typeproofs and migration

Custom properties

4 stars

13 watching

Report repository

Releases

Packages

Contributors

Languages