fabian/veribase-idr2 - Change 6HEVMOBF3W2TXFODJOGEEKTF2KWUT72PXYCFGUZXDJFA2BSZSQZAC

Create Verilude reexoprter

Created by fabian on June 7, 2021

6HEVMOBF3W2TXFODJOGEEKTF2KWUT72PXYCFGUZXDJFA2BSZSQZAC

Dependencies

In channels

main

Change contents

Replacement in veribase.ipkg at line 7 [3.6174]
B:BD[3.6235] → [4.0:26]
```
modules = Builtin, PrimIO
```
[3.6235]
[5.1044]
```
modules = Builtin, PrimIO, Verilude
```

File addition: Verilude.idr (----------)

[3.6]

module Verilude
import public Builtin
import public PrimIO
import public Algebra.Control.Monad
import public Control.Console
import public Control.IO

Replacement in samples/HelloWorld.idr at line 1 [2.1926]

B:BD[2.1926] → [2.1927:2028]

import Builtin
import PrimIO
import Algebra.Control.Monad
import Control.Console
import Control.IO

[2.1926]

[2.2028]

import Verilude