Skip to content

Commit 004ca6b

Browse files
will-break-itwill-break-it
committed
Merge remote-tracking branch 'origin/main'
2 parents 8cce4fe + 8524fe6 commit 004ca6b

File tree

546 files changed

+44
-4
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

546 files changed

+44
-4
lines changed

‎site/static/formal-spec/Agda.Builtin.Bool.html‎

100755100644
File mode changed.

‎site/static/formal-spec/Agda.Builtin.Char.Properties.html‎

100755100644
File mode changed.

‎site/static/formal-spec/Agda.Builtin.Char.html‎

100755100644
File mode changed.

‎site/static/formal-spec/Agda.Builtin.Equality.html‎

100755100644
File mode changed.

‎site/static/formal-spec/Agda.Builtin.Float.Properties.html‎

100755100644
File mode changed.

‎site/static/formal-spec/Agda.Builtin.Float.html‎

100755100644
File mode changed.

‎site/static/formal-spec/Agda.Builtin.IO.html‎

100755100644
File mode changed.

‎site/static/formal-spec/Agda.Builtin.Int.html‎

100755100644
File mode changed.

‎site/static/formal-spec/Agda.Builtin.List.html‎

100755100644
File mode changed.

‎site/static/formal-spec/Agda.Builtin.Maybe.html‎

100755100644
File mode changed.

0 commit comments

Comments
 (0)