git.iko.soy/Idris-dev
on ed0bfca help sign in
Idris-dev/test/reg045
3 files
../ expectedDeal with 'Delay' in case building properly reg045.idrDeal with 'Delay' in case building properly runDeal with 'Delay' in case building properly