Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
master
default
protected
b3a2b9ab
·
fix deprecation message
·
Sep 19, 2021
standard-agda
3e0ef529
·
standard agda version: converted from mhe notation
·
Apr 21, 2021
mhe-notation
527a0bb8
·
improve
·
Apr 21, 2021
nogfe
5a0743cb
·
improvements
·
Apr 04, 2021
!19
noXX
d41afc6b
·
minor mod
·
Apr 01, 2021
!18
inhabited
11a0f9b4
·
experimental changes
·
Mar 31, 2021
revert-e9eedff6
f9910d21
·
Revert "add UALib.lagda to generate-tex"
·
Mar 28, 2021
33-are-two-definitions-of-congruence-relation-really-needed
db022fab
·
improvements
·
Mar 27, 2021
andreasabel-master-patch-63650
e2364d6d
·
Typo in Truncation.lagda:
·
Mar 26, 2021
!15
eqv
7af5576f
·
new development with equivalences instead of general relations
·
Feb 02, 2021
latest
c70b4f0d
·
reorg
·
Jan 11, 2021
dev
5678363c
·
still not working, but closer
·
Nov 14, 2020
will
217d7625
·
dk
·
Jun 27, 2020
newwill
0a0b9bc2
·
converted from lagda.rst to lagda
·
Jun 27, 2020
!8
siva
fbdfb47f
·
fixing subuniv stuff
·
Apr 25, 2020
!9
3-obs-0-composing-homs-gives-a-hom
7009e306
·
add file specifying we use stdlib
·
Feb 21, 2020
reformulated
e4878db6
·
Changing files to uppercase names
·
Feb 20, 2020
nat-arity
deb5a9ea
·
major progress
·
Feb 13, 2020
pinned
9ca07a5f
·
last commit before major revision of arity type
·
Feb 11, 2020
old-lean
2fbaa134
·
final commit before full conversion to agda
·
Jan 30, 2020
Prev
1
2
Next