Skip to content
GitLab
Explore
Sign in
Register
2 forks: 2 public, 0 internal, and 0 private
Created date
Ryan Scott /
dependent
Initial commit; fin already agda'd
0
Updated
Dec 19, 2020
0
0
0
0
Updated
Dec 19, 2020
Alina Banerjee /
dependent
Actual dependent Haskell
0
Updated
Jun 09, 2021
0
0
0
0
Updated
Jun 09, 2021