git.iko.soy/Idris-dev
on b56ef01 help sign in
Idris-dev/test/interactive018/input
20 lines 370 B history raw
1top_private 1
2:t top_private
3top_visible 1
4:t top_visible
5imported1_private 1
6:t imported1_private
7imported1_visible 1
8:t imported1_visible
9imported2_private 1
10:t imported2_private
11imported2_visible 1
12:t imported2_visible
13public1_private 1
14:t public1_private
15public1_visible 1
16:t public1_visible
17public2_private 1
18:t public2_private
19public2_visible 1
20:t public2_visible