swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

JJ: Description from the destination commit:

Browse source 
add error for unsupported CS denom

JJ: Description from source commit:
better fix
This commit is contained in:
swrup 2025-11-30 22:44:36 +01:00
parent 4568b1bd4c
commit 9a6b0c2429
145 changed files with 9932 additions and 37 deletions
Download patch file Download diff file Expand all files Collapse all files

15
.ocamlformat
View file

@ -1,15 +0,0 @@
version=0.28.1
exp-grouping=preserve
type-decl=sparse
break-infix=fit-or-vertical
break-collection-expressions=fit-or-vertical
break-sequences=false
break-infix-before-func=false
dock-collection-brackets=true
break-separators=after
field-space=tight
if-then-else=compact
break-sequences=false
sequence-blank-line=compact
exp-grouping=preserve
sequence-blank-line=preserve-one