Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
15
Merged
842
Closed
156
All
1,013
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Use a notation for the monadic types
!13
· created
Aug 24, 2020
by
Guillaume Claret
Merged
updated
Aug 24, 2020
August even more files
!12
· created
Aug 24, 2020
by
Guillaume Claret
Merged
updated
Aug 24, 2020
Add more files august
!11
· created
Aug 19, 2020
by
Guillaume Claret
Merged
updated
Aug 19, 2020
Upgrade the protocol to the current version
!10
· created
Aug 18, 2020
by
Guillaume Claret
Merged
updated
Aug 18, 2020
Upgrade of proto-proposal for the beginning of August
!9
· created
Aug 03, 2020
by
Guillaume Claret
Merged
updated
Aug 03, 2020
Generate and embed the documentation for coq-of-ocaml
!8
· created
Jul 29, 2020
by
Guillaume Claret
Merged
updated
Jul 29, 2020
Various improvements for storage.ml
!7
· created
Jul 18, 2020
by
Guillaume Claret
Merged
updated
Jul 18, 2020
More changes to the interpreter before abandoning (temporarily)
!6
· created
Jul 17, 2020
by
Guillaume Claret
Merged
updated
Jul 17, 2020
Add webpage
!5
· created
Jul 16, 2020
by
Guillaume Claret
Merged
updated
Jul 16, 2020
More compiling files for proto-proposal
!4
· created
Jul 15, 2020
by
Guillaume Claret
Merged
updated
Jul 16, 2020
Rename the complete protocol as demo as it is not exactly Babylon
!3
· created
Jul 14, 2020
by
Guillaume Claret
Merged
updated
Jul 15, 2020
Add a CI file
!2
· created
Jul 13, 2020
by
Guillaume Claret
Merged
updated
Jul 13, 2020
Import previous repository
!1
· created
Jul 13, 2020
by
Guillaume Claret
Merged
1
updated
Jul 13, 2020
Prev
1
…
47
48
49
50
51
Next