.merlin


1
2
3
4
5
6
7
8
9
10
11
12

FLG -w -3
FLG -w -26
FLG -w -32

S src
S src/contrib/**
S src/gen_lib/**
S src/lem_interp/**
S src/pprint/**
S src/test/**
B src/_build/**
PKG num str unix uint zarith linksem lem omd linenoise