Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/term
e1e0d060
·
A lot of simplification (generalizatin is broken)
·
Dec 20, 2024
wip/new-skol-psis
9b1fb5f2
·
Get rid of |-aps and |-ap, in |-skolpsys, return a pair of sg and p
·
Oct 29, 2024