Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v0.2.7
c9e09981
·
Update to Necro Lib 0.10 (without switching to dune yet)
·
Aug 19, 2022
v0.2.6
0c49dc94
·
Update to Necro Lib 0.9
·
Jul 12, 2022
v0.2.5.3
c2bf0cba
·
Fix BFS monad
·
Jun 27, 2022
v0.2.5.2
7b1de98d
·
Update necro-test
·
May 09, 2022
v0.2.5.1
adc43c61
·
Fix
·
Mar 28, 2022
v0.2.5
34eb28bb
·
Update to Necro Lib with matches
·
Mar 08, 2022
v0.2.4
735e6c3d
·
Update to Necro Lib 0.7
·
Feb 17, 2022
v0.2.3.2
dc5c54da
·
Fix apply_max
·
Jan 25, 2022
FSCD2022
612c79b5
·
Fix
·
Nov 19, 2021
v0.2.3.1
612c79b5
·
Fix
·
Nov 19, 2021
v0.2.3
83deca18
·
Remove `kind` from interpretation monad and sent `is_exhaustive` and `is_disjoint` to necrolib
·
Oct 25, 2021
v0.2.2
0b8326af
·
Get more informations
·
Sep 02, 2021
v0.2.1.6.1
45880910
·
Bug fixes
·
Aug 24, 2021
v0.2.1.6
ece75681
·
Fix
·
Aug 16, 2021
v0.2.1.5.1
c425ea49
·
Fix
·
Jul 20, 2021
v0.2.1.5
604c1c61
·
Update gitignore
·
Jul 19, 2021
v0.2.1.4
8e03ce32
·
Update to new version of Necro Lib
·
Jul 15, 2021
v0.2.1.3
38bb90df
·
Fix on includes
·
Jun 16, 2021
v0.2.1.2
8875cfe9
·
Fix: handle non-exhaustive case with custom binders
·
May 26, 2021
v0.2.1.1
5572eae0
·
Update to necrolib 4.1.0
·
May 20, 2021
Prev
1
2
3
Next