max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init/System
History
Wojciech Nawrocki 8ada0ba043 feat: initial Emscripten support
2021-06-06 15:34:44 +02:00
..
FilePath.lean feat: add convenience coercion from String to FilePath 2021-05-28 14:19:59 +02:00
IO.lean fix: make problematic Ord -> LT instance a def 2021-05-31 19:05:50 -07:00
IOError.lean chore: use deriving Inhabited 2020-12-13 10:09:20 -08:00
Platform.lean feat: initial Emscripten support 2021-06-06 15:34:44 +02:00
ST.lean chore: remove leftovers 2021-03-23 17:33:23 -07:00