Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
MAILLARD Kenji
Dijkstra Monads for All
Repository
Branches
Overview
Active
Stale
All
Stale branches
general_recursive
04280642
·
refactoring the monad library
·
Apr 17, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
original_submission
merged
46a112cd
·
Dijkstra monad polymorphic code + trivial example of for loop
·
Apr 17, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
ab42b89d
·
updating commits hash and making sure it compiles
·
May 29, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Next700RelationalProgramLogics
42b8add2
·
for some reason, it suddenly stopped compiling...
·
Sep 20, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
coq8.10
82fc6b5e
·
[quick_and_dirty] Write unary specs; equiv broken
·
Oct 01, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar