anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-14 08:27:03 +03:00
Code Issues Projects Releases Wiki Activity

[doc] Remove empty docs

Browse Source
This commit is contained in:
Paul Cadman 2022-03-29 13:49:49 +01:00
parent 0e3fb402d5
commit c2f6d1529c
2 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/MiniJuvix/Syntax/Abstract/InfoTable.hs
View File

@ -1,5 +1,3 @@
-- |
module MiniJuvix.Syntax.Abstract.InfoTable where module MiniJuvix.Syntax.Abstract.InfoTable where
import MiniJuvix.Prelude import MiniJuvix.Prelude

2
src/MiniJuvix/Syntax/Abstract/InfoTableBuilder.hs
View File

@ -1,5 +1,3 @@
-- |
module MiniJuvix.Syntax.Abstract.InfoTableBuilder module MiniJuvix.Syntax.Abstract.InfoTableBuilder
( module MiniJuvix.Syntax.Abstract.InfoTableBuilder, ( module MiniJuvix.Syntax.Abstract.InfoTableBuilder,
module MiniJuvix.Syntax.Abstract.InfoTable) module MiniJuvix.Syntax.Abstract.InfoTable)