Split kindck to be bidirectional, but gonna refactor App to have a separate CurryApp.
running 2 hours ago
Split kindck to be bidirectional, but gonna refactor App to have a separate CurryApp.
failed 2 hours ago
Split kindck to be bidirectional, but gonna refactor App to have a separate CurryApp.
success 2 hours ago
Split kindck to be bidirectional, but gonna refactor App to have a separate CurryApp.
failed 2 hours ago
Save contexts with holes.
success a day ago
Save contexts with holes.
failed a day ago
Save contexts with holes.
timeout 22 hours ago
Save contexts with holes.
failed a day ago
Start of the solver.
success a day ago
Start of the solver.
failed a day ago
Start of the solver.
timeout 23 hours ago
Start of the solver.
failed a day ago
Beginning of the new kind-checker. To the point where we need the solver.
success a day ago
Beginning of the new kind-checker. To the point where we need the solver.
failed a day ago