on bf4e535 help sign in
Idris-dev/test/idrisdoc003/TestDatatypes.idr
6 lines 107 B history raw
1module TestDatatypes
3||| This is another test
4data Test : Type where
5 ||| Test constructor
6 ATest : Test