idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-09 21:01:12 +03:00
Code Issues Projects Releases Wiki Activity
76715acc1f
Idris2/samples
History
Stiopa Koltsov 60d597fccd Use pragma once instead of include guard 
Pragma once is supported by all compilers for the last ten years.
Better use it instead of include guards (which use different styles
in different files).
2021-06-28 12:05:22 +01:00
..
ffi fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr 2021-01-22 15:08:49 +00:00
FFI-readline Use pragma once instead of include guard 2021-06-28 12:05:22 +01:00
proofs fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr 2021-01-22 15:08:49 +00:00
bmain.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
BTree.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
deprec.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
dummy.ipkg fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr 2021-01-22 15:08:49 +00:00
fctypes.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
holes.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
Interp.idr removed trailing whitespace (#955) 2021-01-21 11:33:03 +00:00
InterpE.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
io.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
listcomp.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
multiplicity.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
MyOrd.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
NamedSemi.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
params.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
Prims.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
Proofs.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
Vect.idr removed trailing whitespace (#955) 2021-01-21 11:33:03 +00:00
Void.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
wheres.idr Copy samples directory from Idris2-boot 2020-06-30 10:51:09 +01:00
With.idr removed trailing whitespace (#955) 2021-01-21 11:33:03 +00:00