max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init/System
History
Mario Carneiro f6211b1a74
chore: convert doc/mod comments from /- to /--//-! (#1354)
2022-07-22 12:05:31 -07:00
..
FilePath.lean refactor: make String.Pos opaque 2022-03-20 10:47:13 -07:00
IO.lean chore: convert doc/mod comments from /- to /--//-! (#1354) 2022-07-22 12:05:31 -07:00
IOError.lean chore: convert doc/mod comments from /- to /--//-! (#1354) 2022-07-22 12:05:31 -07:00
Platform.lean fix: constant => opaque issues 2022-06-14 17:19:54 -07:00
ST.lean chore: convert doc/mod comments from /- to /--//-! (#1354) 2022-07-22 12:05:31 -07:00